FriCAS installation fails

[Daniel Krenn]

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?

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.
************************************************************************

[Dima Pasechnik]

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...

[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)

[Martin R]

Are http://www.sagemath.org/git-developer-guide/packaging.html the instructions I should follow?

Martin

[leif]

'Martin R' via sage-devel wrote:
> Are http://www.sagemath.org/git-developer-guide/packaging.html the
> instructions I should follow?

If in doubt, this is probably more recent:

http://doc.sagemath.org/html/en/developer/packaging.html#packaging-third-party-code

(It says version 7.3 rather than 1.0?!)


-leif

> <http://groups.google.com/group/sage-devel>)

[leif]

leif wrote:
> 'Martin R' via sage-devel wrote:
>> Are http://www.sagemath.org/git-developer-guide/packaging.html the
>> instructions I should follow?
>
> If in doubt, this is probably more recent:
>
> http://doc.sagemath.org/html/en/developer/packaging.html#packaging-third-party-code
>
> (It says version 7.3 rather than 1.0?!)

The latter is *definitely* more up-to-date (for example w.r.t. the
'type' file).


-leif

[Martin R]

I get

:~$ sage --package create fricas --version 1.2.7 --tarball fricas-1.2.7.tar.bz2 --type experimental
ERROR [cmdline|run:74]: unknown subcommand: create

with

┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 7.3.beta4, Release Date: 2016-06-12               │
│ Type "notebook()" for the browser-based notebook interface.        │
│ Type "help()" for help.                                            │
└────────────────────────────────────────────────────────────────────┘
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ Warning: this is a prerelease version, and it may be unstable.     ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛

Do I need to upgrade sage first?

Martin

[leif]

'Martin R' via sage-devel wrote:

Apparently.

TBH, I've never used any of the scripts creating new-style or old-style
packages; even the checksums file can of course easily be created
manually with sha1sum, md5sum and cksum.

But as the documentation I pointed to is for 7.3, and it anyway makes
sense to base your branch on the ticket on 7.3 or 7.4.beta0, you should
probably just pull the master or develop branch and run 'make' before
proceeding.


-leif

[Volker Braun]

Yes, you need to update sage

$ sage --package create -h

usage: sage --package create [-h] [--version VERSION] [--tarball TARBALL]

                             [--type TYPE]

                             [package_name]

positional arguments:

  package_name       Package name. Default: fix all packages.

optional arguments:

  -h, --help         show this help message and exit

  --version VERSION  Package version

  --tarball TARBALL  Tarball filename pattern, e.g. Foo-VERSION.tar.bz2

  --type TYPE        Package type

Create new package, or overwrite existing package

    

EXAMPLE:

    $ sage --package create foo --version=3.14 --tarball=Foo-VERSION.tar.bz2 --type=standard

    Creating new package "foo"