Are http://www.sagemath.org/git-developer-guide/packaging.html the instructions I should follow?
Martin Am Mittwoch, 10. August 2016 18:55:55 UTC+2 schrieb Dima Pasechnik: > > 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.
