Also, we have an old version of FriCAS, current is 1.2.7. I just opened https://trac.sagemath.org/ticket/21209 (update the package)
On Wednesday, August 10, 2016 at 5:46:55 PM UTC+1, Dima Pasechnik wrote: > > > > On Wednesday, August 10, 2016 at 4:43:27 PM UTC+1, Daniel Krenn wrote: >> >> On my SageMath 7.3 on Linux Mint 17.3 the command "sage -i fricas" >> fails. Part of the logfile is below. If someone wants more of the >> logfile, do not hesitate to ask. >> >> Any ideas what goes wrong? >> > > ECL does not use uffi: prefix any more, it's ffi: instead, according to > their docs. > Replacing all the uffi: with ffi: in src/lisp/fricas-lisp.lisp makes > compiler happy. > > Currently running the build, takes a while... > > > >> Best >> >> Daniel >> >> >> [...] >> ECL (Embeddable Common-Lisp) 16.1.2 (git:UNKNOWN) >> Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya >> Copyright (C) 1993 Giuseppe Attardi >> Copyright (C) 2000 Juan J. Garcia-Ripoll >> Copyright (C) 2015 Daniel Kochmanski >> ECL is free software, and you are welcome to redistribute it >> under certain conditions; see file 'Copyright' for details. >> Type :h for Help. >> Top level. >> > >> ;;; Loading >> "/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp/fricas-package.lisp" >> >> >> ;;; Loading #P"/local/dakrenn/sage/7.3/local/lib/ecl/cmp.fas" >> #P"/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp/fricas-package.lisp" >> >> >> > >> ;;; Loading >> "/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp/fricas-config.lisp" >> >> >> #P"/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp/fricas-config.lisp" >> >> >> > >> ;;; Loading >> "/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp/fricas-ecl.lisp" >> >> >> #P"/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp/fricas-ecl.lisp" >> >> >> > >> ;;; Loading >> "/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp/fricas-lisp.lisp" >> >> >> >> Condition of type: SIMPLE-ERROR >> There is no package with the name UFFI. >> Available restarts: >> >> 1. (RESTART-TOPLEVEL) Go back to Top-Level REPL. >> >> Broken at SI:BYTECODES. [Evaluation of: (LOAD "fricas-lisp.lisp")] >> >> >> echo timestamp > do_it.ecl >> make[4]: Leaving directory >> `/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/lisp' >> >> make[4]: Entering directory >> `/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/boot' >> >> Building stage 0 >> [ -d stage0 ] || ../../config/mkinstalldirs stage0 >> mkdir -p -- stage0 >> rm -rf prev-stage >> rm -f stage0/ptyout.o stage0/btincl2.o stage0/btscan2.o stage0/typrops.o >> stage0/btpile2.o stage0/typars.o stage0/tytree1.o >> rm -f stage0/ptyout.clisp stage0/btincl2.clisp stage0/btscan2.clisp >> stage0/typrops.clisp stage0/btpile2.clisp stage0/typars.clisp >> stage0/tytree1.clisp >> make OBJECTS="stage0/ptyout.o stage0/btincl2.o stage0/btscan2.o >> stage0/typrops.o stage0/btpile2.o stage0/typars.o stage0/tytree1.o" >> stage0/bootsys >> make[5]: Entering directory >> `/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/boot' >> >> /local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/scripts/build_helper >> >> >> --compile_lisp --debug=no >> --use=/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/build/x86_64-unknown-linux/bin/lisp >> >> >> --output=stage0/ptyout.o compiled/ptyout.clisp >> /local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/scripts/build_helper: >> >> >> 13: >> /local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/scripts/build_helper: >> >> >> /local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/build/x86_64-unknown-linux/bin/lisp: >> >> >> not found >> make[5]: *** [stage0/ptyout.o] Error 127 >> make[5]: Leaving directory >> `/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/boot' >> >> make[4]: *** [stage0/stamp_bootsys] Error 2 >> make[4]: Leaving directory >> `/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src/boot' >> >> make[3]: *** [all-boot] Error 2 >> make[3]: Leaving directory >> `/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src/src' >> make[2]: *** [all-src] Error 2 >> make[2]: Leaving directory >> `/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4/src' >> Error building fricas. >> >> real 0m3.101s >> user 0m1.528s >> sys 0m0.528s >> ************************************************************************ >> Error installing package fricas-1.2.4 >> ************************************************************************ >> Please email sage-devel (http://groups.google.com/group/sage-devel) >> explaining the problem and including the relevant part of the log file >> /local/dakrenn/sage/7.3/logs/pkgs/fricas-1.2.4.log >> Describe your computer, operating system, etc. >> If you want to try to fix the problem yourself, *don't* just cd to >> /local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4 and type >> 'make' or whatever is appropriate. >> Instead, the following commands setup all environment variables >> correctly and load a subshell for you to debug the error: >> (cd '/local/dakrenn/sage/7.3/local/var/tmp/sage/build/fricas-1.2.4' && >> '/local/dakrenn/sage/7.3/sage' --sh) >> When you are done debugging, you can type "exit" to leave the subshell. >> ************************************************************************ >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
