[Openmcl-devel] error in installing ACL2 with CCL
orsini at unive.it
Mon Sep 2 15:55:45 CDT 2013
When trying to install ACL2 with CCL, I receive the following message:
$ make LISP=/Applications/ccl/dx86cl64
> Error: There is no package named "GUI" .
> While executing: CCL::%PARSE-TOKEN, in process listener(1).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: Retry finding package with name "GUI".
> Type :? for other options.
then the installation proceed and terminate.
When I call the ACL2 executable, saved_acl2, the same error message is printed.
Is this an error arising from ACL2 or from my installation of CCL (which works both in terminal and from the Clozure CL64.app) ?
(I have the last version of CCL2)
Thank you very much.
More information about the Openmcl-devel