Greetings! I know this is an old note, but you might find it useful to know that synchronous versions of gcl, maxima, acl2, axiom, and hol88 are maintainted in debian unstable, and which should appear in Ubuntu with a small time lag. The gcl in debian nstable is the latest tagged version of Version_2_6_13pre (at the moment), with the tag listed in debian/changelog. The other programs are the latest released versions with the occasional minimal patch as listed in debian/patches/series.
Please let me know if problems persist. Take care, Lawrence Bottorff <[email protected]> writes: > After crashing my computer a few times (Ubuntu 15.04), I finally got this: > > Unrecoverable error: invocation history stack overflow. > Aborted (core dumped) > Makefile:175: recipe for target > '/home/hercynian/gitstuff/axiom/obj/ubuntu/bin/depsys' failed > make[3]: *** [/home/hercynian/gitstuff/axiom/obj/ubuntu/bin/depsys] Error 134 > rm /home/hercynian/gitstuff/axiom/int/interp/nocompil.lisp > /home/hercynian/gitstuff/axiom/int/interp/sys-pkg.lisp > /home/hercynian/gitstuff/axiom/ > int/interp/util.lisp /home/hercynian/gitstuff/axiom/int/interp/parsing.lisp > make[3]: Leaving directory '/home/hercynian/gitstuff/axiom/src/interp' > Makefile:79: recipe for target 'interpdir' failed > make[2]: *** [interpdir] Error 2 > make[2]: Leaving directory '/home/hercynian/gitstuff/axiom/src' > Makefile.ubuntu:148: recipe for target 'srcdir' failed > make[1]: *** [srcdir] Error 2 > make[1]: Leaving directory '/home/hercynian/gitstuff/axiom' > Makefile:134: recipe for target 'all' failed > make: *** [all] Error 2 > > Please advise. > > LB > > On Fri, Oct 9, 2015 at 6:36 AM, <[email protected]> wrote: > > I built a new Ubuntu 10.04 machine from scratch. > I installed the packages listed on the downloads web page on > axiom-developer > I did the git clone and subsequent instructions above. > My compile worked. > > Perhaps your GCC is downlevel? > > Tim > > >Sorry - just tried that on my work computer (Ubuntu 14.04), and same > errors. > > > >-Alasdair > > > >On Fri, Oct 9, 2015 at 10:18 AM, Alasdair McAndrew <[email protected]> > wrote: > > > >> Thanks! Will give it my best shot when I get home. > >> > >> cheers, > >> Alasdair > >> > >> On Fri, Oct 9, 2015 at 10:12 AM, <[email protected]> wrote: > >> > >>> git clone git://github.com/daly/axiom > >>> cd axiom > >>> export AXIOM=`pwd`/mnt/ubuntu > >>> export PATH=$AXIOM/bin:$PATH > >>> make > > _______________________________________________ > Axiom-developer mailing list > [email protected] > https://lists.nongnu.org/mailman/listinfo/axiom-developer > > _______________________________________________ > Axiom-developer mailing list > [email protected] > https://lists.nongnu.org/mailman/listinfo/axiom-developer -- Camm Maguire [email protected] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
