Fwd: [sage-devel] Re: FriCAS installation fails

[Bill Page]

---------- Forwarded message ----------
From: Dima Pasechnik <dim...@gmail.com>
Date: 10 August 2016 at 12:46
Subject: [sage-devel] Re: FriCAS installation fails
To: sage-devel <sage-...@googlegroups.com>




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+...@googlegroups.com.
To post to this group, send email to sage-...@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[Martin R]

So, would someone be able to prepare a spkg?

(I have no idea how to do that)

Martin

[Ralf Hemmecke]

Hallo Martin,

nice to hear from you again.

On 08/10/2016 11:09 PM, 'Martin R' via FriCAS - computer algebra system
wrote:

> So, would someone be able to prepare a spkg?

There is an old ticket...

https://trac.sagemath.org/ticket/6517

and I also have my old sources of the fricas-aldor-spkg repo on my local
machine, but it looks like it is somewhat in a strange state (in 2009
Sage was still on Mercurial which forced me to do a trick to be able to
use git locally). That also means that the code is old.

Maybe it would be best to find someone who has produced the fricas-1.2.4
spkg and take the respective sources from there.
Anyway, I'll try to cleanup my code and put it on github if there is
enough request and if my time allows. (Still there's no guarantee that
I'm able to make it work again.)

Regards
Ralf

PS: I'm currently not reading sage-devel.

[Martin R]

Hi Ralf!

Am Mittwoch, 10. August 2016 23:26:50 UTC+2 schrieb Ralf Hemmecke:

nice to hear from you again.

Thank you!  I am alive and well!  I even read fricas-devel :-)

Maybe it would be best to find someone who has produced the fricas-1.2.4
spkg and take the respective sources from there.

Looking at

https://trac.sagemath.org/ticket/9465

 

this seems to be Vincent Delecroix, right?  I'd be really grateful if you could help again, too!

Martin

[Martin R]

Afterthought: may I put you as CC on the new ticket?

[Dima Pasechnik]

OK, the ticket https://trac.sagemath.org/ticket/21209 is ready for review. I take it as a FriCAS bug, right?

Dima

[Waldek Hebisch]

Dima Pasechnik wrote:
> OK, the ticket https://trac.sagemath.org/ticket/21209 is ready for review.
> I take it as a FriCAS bug, right?

Yes. I have commited fix to FriCAS trunk. AFAICS FriCAS should now build
both with old and new ECL versions.

BTW: 'full' in tarball name is to distinguish from 'minimal'. I do not
think I ever did official 'minimal' release, but the plan was to
have 'minimal' tarball which is essentially copy of apropriate SVN
revision and 'full' tarball which contains several files which are
pre-build. Main merit of the 'full' tarball is shorter build time.
For example when using ECL on 2.3 GHz quad core machine I get
the following times when building from SVN:

real 31m22.011s
user 70m40.669s
sys 8m7.265s

Build from realease tarball is much faster.

--
Waldek Hebisch

[Dima Pasechnik]

Hi Waldek,
how does one get release tarballs?

Sourceforge does not seem to provide them.

Do you mean that one has to checkout an appropriate branch from your SVN repo, and tar it?

Thanks,

Dima

[oldk1331]

> how does one get release tarballs?

A release tarball includes documents and pre-generated lisp
files that don't exist in source repo.

If you mean a snapshot tarball, you can get from github mirror:
https://github.com/fricas/fricas/archive/master.zip

Build a snapshot tarball may require 10 times more time to
build than an official full release tarball.

[Waldek Hebisch]

Dima Pasechnik wrote:
>
> how does one get release tarballs?
> Sourceforge does not seem to provide them.
> Do you mean that one has to checkout an appropriate branch from your SVN
> repo, and tar it?

FriCAS release tarballs are in normal SourceForge download area.
Current relase is 1.2.7, you can also get it following links
from FriCAS home page.

--
Waldek Hebisch

[Dima Pasechnik]

This way one only gets fricas-1.2.7-full.tar.bz2

(or some precompiled binaries)

Did you mean to say that this is the one you recommend to use?

By the way, I noticed that it contains a copy of git repo. Is it intentional?

(usually one does not ship it, pointing at a git server with the repo instead...)

Dima

 

--
                              Waldek Hebisch

[Waldek Hebisch]

Dima Pasechnik wrote:
> On Friday, August 12, 2016 at 1:28:04 PM UTC+1, Waldek Hebisch wrote:
> >
> > Dima Pasechnik wrote:
> > >
> > > how does one get release tarballs?
> > > Sourceforge does not seem to provide them.
> > > Do you mean that one has to checkout an appropriate branch from your SVN
> > > repo, and tar it?
> >
> > FriCAS release tarballs are in normal SourceForge download area.
> > Current relase is 1.2.7, you can also get it following links
> > from FriCAS home page.
> >
>
> This way one only gets fricas-1.2.7-full.tar.bz2

> <https://sourceforge.net/projects/fricas/files/fricas/1.2.7/fricas-1.2.7-full.tar.bz2/download>

> (or some precompiled binaries)
>
> Did you mean to say that this is the one you recommend to use?

This is the current release. SVN trunk contains quite a few fixes
for various problems (like problem building with recent ECL).
If you are not affected by the problem fixed in trunk, then
I recommend to use 1.2.7.

If you want to create tarball like release tarball from current
trunk this is a bit more complicated:

- fetch sources from SVN
- do full build, including graphics (see INSTALL about building
graphics)
- use for example 'mkdist.sh' script to create a directory tree
with prebuilt files
- tar created directory tree

Alternatively, you can try 'make dist' for the last two steps.

> By the way, I noticed that it contains a copy of git repo. Is it
> intentional?
> (usually one does not ship it, pointing at a git server with the repo
> instead...)

I do not see git repo inside. Could you re-check and tell me
exactly what you see?

--
Waldek Hebisch

[Dima Pasechnik]

oops, never mind. I created it myself to make creating a diff less painful, and then forgot about  :-)

Dima