[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Re: HOL88 and GCL
Re: [Gcl-devel] Re: HOL88 and GCL
16 Dec 2006 01:22:34 -0500
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
"Sue Kase" <address@hidden> writes:
> the make runs a good long time, but errors with:
> >pdflatex dwdoc.tex
> make: pdflatex: Command not found
> make: *** [dwdoc.pdf] Error 127
> make: *** [unixport/saved_gcl] Error 2
> after web searching on the error - maybe I need to install TEX?
> any suggestions?
> thanks for your help -
Yes, if you want the very useful documentation built. The build
dependencies are listed at the head of debian/control in the Debian
package source tree. I think it refers to tetex. You should already
have a usable hol88 binary in the source tree top by this point.
If you are on a debian system or derivative with the dependencies
installed, you can just to 'debuild' to get your own installable
package. (I think this shortcut script comes with the devscripts
Please let me know if problems persist.
> Sue E. Kase
> PhD Candidate
> Applied Cognitive Science Lab
> Penn State Center for Human Computer Interaction
> Penn State College of Information Sciences and Technology
> -----Original Message-----
> From: address@hidden on behalf of Camm Maguire
> Sent: Thu 12/14/2006 5:47 PM
> To: John R Harrison
> Cc: address@hidden; address@hidden
> Subject: [Gcl-devel] Re: HOL88 and GCL
> John R Harrison <address@hidden> writes:
> > Hi Camm,
> > Sorry this took such a ridiculously long time; I've been overloaded
> > with other stuff. I've accumulated a collection of some of my old
> No problem!
> > HOL88 files as test cases. I believe they should all work; I had
> > problems with a couple but I think that's just because my image still
> > has a few glitches. To test them it should just be necessary to fire
> > up HOL88 then do
> > loadt `<filename>`;;
> > for example
> > loadt `/home/camm/hol88_examples/fermat.ml`;;
> > Let me know if there are problems. Anyway, if you want to add them
> > to the package as regression tests, this is fine with me.
> Great! Will check it out.
> > In a later message, you mentioned that you already had debian packages.
> > What's the latest on that? I've been using Knoppix quite a lot lately
> We've been accepted into Debian testing, and will be available in the
> next release in Debian and/or derivatives like knoppix/ubuntu, etc.
> > when Windows becomes just too much to bear, and I'd like to try out the
> > HOL88 binaries. (If that's a problem, I can also rebuild from source
> > now you've got everything sorted out.)
> Should be able to apt-get the binary now or soon. I can also send you
> one if interested. Uses gcl-2.6.8pre, soon to be released as stable,
> export CVSROOT=:pserver:address@hidden:/sources/gcl
> cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl
> BTW, I'd mentioned this to the axiom people, who had expressed
> interest in an ml in the same image axiom runs upon. Do you have any
> other notions as to where/if this build might be useful?
> BTW, should also build with cvs head, which has more advanced
> features, but is still experimental. I believe Bob Boyer uses this
> regularly, though.
> Take care,
> > John.
> Camm Maguire address@hidden
> "The earth is but one country, and mankind its citizens." -- Baha'u'llah
> Gcl-devel mailing list
Camm Maguire address@hidden
"The earth is but one country, and mankind its citizens." -- Baha'u'llah