problem quitting the compiler

[Gergely Buday]

Hi there,

I started ccl/lx86cl64 -- later realised that there is a script
scripts/ccl64, should I have used that one?

I followed the insructions to compile an archaic software. Now after
that, I cannot quit the compiler gracefully, upon

(quit)

I get

Error: Undefined function QUIT called with arguments () .
While executing: CCL::TOPLEVEL-EVAL, in process listener(1).
Type :GO to continue, :POP to abort, :R for a list of available restarts.
If continued: Retry applying QUIT to NIL.
Type :? for other options.

What happens here? How can I get out of this?

- Gergely

[Gail Zacharias]

You're probably in some random package. Try (ccl:quit).

Post by Gergely Buday
Hi there,
I started ccl/lx86cl64 -- later realised that there is a script
scripts/ccl64, should I have used that one?
I followed the insructions to compile an archaic software. Now after
that, I cannot quit the compiler gracefully, upon
(quit)
I get

Error: Undefined function QUIT called with arguments () .
While executing: CCL::TOPLEVEL-EVAL, in process listener(1).
Type :GO to continue, :POP to abort, :R for a list of available restarts.
If continued: Retry applying QUIT to NIL.
Type :? for other options.

What happens here? How can I get out of this?
- Gergely
_______________________________________________
Openmcl-devel mailing list
http://lists.clozure.com/mailman/listinfo/openmcl-devel

[Gergely Buday]

Post by Gail Zacharias
You're probably in some random package. Try (ccl:quit).

Thanks. Starting the compiler with scripts/ccl64 I was able to compile
my software and save the image by (save-application). Upon loading it
it does not behave as if it were run from the REPL -- it does not
recognise the definitions that are in theory there. What should I pay
attention for here?

This is nqthm-1992, an archaic theorem prover. I compiled it according
to its README, then I restarted ccl, loaded nqthm, loaded a proof
script and then I used (save-application).

- Gergely

[Gail Zacharias]

You should look at packages - *package*,
http://www.flownet.com/ron/packages.pdf

Post by Gergely Buday

Post by Gail Zacharias
You're probably in some random package. Try (ccl:quit).

Thanks. Starting the compiler with scripts/ccl64 I was able to compile
my software and save the image by (save-application). Upon loading it
it does not behave as if it were run from the REPL -- it does not
recognise the definitions that are in theory there. What should I pay
attention for here?
This is nqthm-1992, an archaic theorem prover. I compiled it according
to its README, then I restarted ccl, loaded nqthm, loaded a proof
script and then I used (save-application).
- Gergely

[Andreas Thiele]

Package CCL is not within the dependent packages. Cl-user uses ccl. You can
call quit from within cl-user. Otherwise you need to call CCL:QUIT.

Regards Andreas


-----Ursprüngliche Nachricht-----
Von: openmcl-devel-***@clozure.com
[mailto:openmcl-devel-***@clozure.com] Im Auftrag von Gergely Buday
Gesendet: Donnerstag, 17. Juli 2014 17:25
An: openmcl-***@clozure.com
Betreff: [Openmcl-devel] problem quitting the compiler

Hi there,

I started ccl/lx86cl64 -- later realised that there is a script
scripts/ccl64, should I have used that one?

I followed the insructions to compile an archaic software. Now after that, I
cannot quit the compiler gracefully, upon

(quit)

I get

Error: Undefined function QUIT called with arguments () .
While executing: CCL::TOPLEVEL-EVAL, in process listener(1).
Type :GO to continue, :POP to abort, :R for a list of available restarts.
If continued: Retry applying QUIT to NIL.
Type :? for other options.

What happens here? How can I get out of this?

- Gergely