Hi Netters,
I have downloaded a large program-package (HOL88), which I need for my
work, but unfortunately it is a lisp-source-package.
I also downloaded a CLISP-package for the machine I work at (a sparc10
sun running solaris 2.4) and tried to follow the compile-instructions.
At first I realized, that there is no such thing as a clisp-program in
the package, although it is said so in the HOL-docu. There is only
/clisp/bin/run_lisp and all this other stuff.
I tried to compile HOL with run_lisp setting the appropriate options,
but it did not work.
Could you tell me, where I can find a 'functioning' CLISP?
Or could you tell me, how I can compile with run_lisp (or how I can
generate clisp myself?)
This all is very uncomfortable for me, since I need HOL up and running
ASAP (yesterday, or better: the day before yesterday, if you know, what
I mean). So any help would be appreciated.
Well, if someone can tell me, where I can find a binary-distribution of
HOL88 with a hol-binary for sun-solaris2.4, I'd be _very_ happy :)
thanks in advance,
Rolf