Opened 13 years ago

Last modified 12 years ago

#6517 closed enhancement

[with spkg, needs work] FriCAS X.Y.Z — at Version 24

Reported by: Adam Webb Owned by: tbd
Priority: major Milestone: sage-4.3
Component: packages: optional Keywords:
Cc: Bill Page, Mike Hansen, RalfHemmecke Merged in:
Authors: Reviewers: Jaap Spies, Adam Webb
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Adam Webb)

This is an update to fricas to use ecl and to update to the recent fricas release.

Adam

Change History (24)

comment:1 Changed 13 years ago by Minh Van Nguyen

This might depends on or related to ticket #6318.

comment:2 Changed 13 years ago by Minh Van Nguyen

Authors: Adam Webb

comment:3 Changed 13 years ago by Adam Webb

Ticket #6318 is related. The patches on that ticket were tested with this package.

comment:4 Changed 13 years ago by Jaap Spies

Reviewers: jsp
Summary: [with SPKG, needs review] FriCAS 1.0.7[with SPKG, positive review] FriCAS 1.0.7
79 FriCAS installation finished.

real	46m21.303s
user	34m38.652s
sys	4m30.484s
Successfully installed fricas-1.0.7.p0

I tested the patches from #6318 related to fricas.

./sage -t --long --optional devel/sage/sage/interface/fricas.py

alls tests passed.

Positive review.

Jaap

comment:5 in reply to:  3 ; Changed 13 years ago by Minh Van Nguyen

Reviewers: jspJaap Spies

Replying to awebb:

Ticket #6318 is related. The patches on that ticket were tested with this package.

So what is the order of merging patches here? Is it

  1. merge the patches at #6318;
  2. then merge the spkg on this ticket in the optional spkg repository?

In that case, #6318 must get positive review first. On the other hand, is this ticket and its spkg not at all dependent on #6318?

comment:6 in reply to:  5 Changed 13 years ago by Jaap Spies

Replying to mvngu:

Replying to awebb:

Ticket #6318 is related. The patches on that ticket were tested with this package.

So what is the order of merging patches here? Is it

  1. merge the patches at #6318;
  2. then merge the spkg on this ticket in the optional spkg repository?

In that case, #6318 must get positive review first. On the other hand, is this ticket and its spkg not at all dependent on #6318?

I think it is independent of #6318 in the sense that it updates the fricas optional spkg.

And than it fixes the fricas.py failures mentioned in #6318, Not the axiom issues.

Jaap

comment:7 Changed 13 years ago by Minh Van Nguyen

I've uploaded Adam's FriCAS 1.0.7 spkg to

http://sage.math.washington.edu/home/mvngu/patch/fricas-1.0.7.p0.spkg

I install it as in the following transcript, but received "configure: error: Unable to determine Lisp flavor":

[mvngu@sage sage-4.1.1.alpha0]$ ./sage -f /home/mvngu/patch/fricas-1.0.7.p0.spkg
<insall-messages>
axiom_build_bindir = /scratch/mvngu/release/sage-4.1.1.alpha0/spkg/build/fricas-1.0.7.p0/build-dir/build/x86_64-unknown-linux/bin
checking Lisp implementation... ECL (Embeddable Common-Lisp) 9.4.1
Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya
Copyright (C) 1993 Giuseppe Attardi
Copyright (C) 2000 Juan J. Garcia-Ripoll
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 "/scratch/mvngu/release/sage-4.1.1.alpha0/spkg/build/fricas-1.0.7.p0/src/config.lisp"
Filesystem error with pathname #P"SYS:cmp.NEWEST".
Either
 1) the file does not exist, or
 2) we are not allow to access the file, or
 3) the pathname points to a broken symbolic link.
Broken at SI:BYTECODES.No restarts available.
Broken at SI:BYTECODES. File: #P"/scratch/mvngu/release/sage-4.1.1.alpha0/spkg/build/fricas-1.0.7.p0/src/config.lisp" (Form #1)
>> 
configure: error: Unable to determine Lisp flavor
***********************************************************
Failed to configure FriCAS.
***********************************************************

real	0m0.577s
user	0m0.250s
sys	0m0.340s
sage: An error occurred while installing fricas-1.0.7.p0
Please email sage-devel http://groups.google.com/group/sage-devel
explaining the problem and send the relevant part of
of /scratch/mvngu/release/sage-4.1.1.alpha0/install.log.  Describe your computer, operating system, etc.
If you want to try to fix the problem, yourself *don't* just cd to
/scratch/mvngu/release/sage-4.1.1.alpha0/spkg/build/fricas-1.0.7.p0 and type 'make'.
Instead type "/scratch/mvngu/release/sage-4.1.1.alpha0/sage -sh"
in order to set all environment variables correctly, then cd to
/scratch/mvngu/release/sage-4.1.1.alpha0/spkg/build/fricas-1.0.7.p0
(When you are done debugging, you can type "exit" to leave the
subshell.)

Am I doing something wrong or missing something?

comment:8 Changed 13 years ago by Minh Van Nguyen

Summary: [with SPKG, positive review] FriCAS 1.0.7[with SPKG, needs work] FriCAS 1.0.7

comment:9 Changed 13 years ago by Adam Webb

This package depends on #6318 for the fricas interface to work therefore that patch needs to go in first.

adam

comment:10 Changed 13 years ago by Adam Webb

In previous versions there was an install option for the lisp flavour but according to the fricas mailing list, this is depreciated and fricas is supposed to detect which lisp is used. I have not yet tested with 4.1.1.alpha0 but it worked for me on 4.0 and 4.1.

comment:11 Changed 13 years ago by Adam Webb

update: Tested package with 4.1.1.alpha0 and it worked. This could be sensitive to the lisp install but I am not an expert on this. The long path name might also be a problem but this only speculation.

comment:12 Changed 13 years ago by Burcin Erocal

Cc: Bill Page Mike Hansen added

Could someone comment on the relation between the two pairs of issues:

Is the package here built on the one at #4461? Are the changes on #4036 independent of the ones at #6318?

Thanks.

Burcin

comment:13 Changed 13 years ago by Adam Webb

Sorry, I think there is a bit of cross-posting of tickets. My bad. I did not see the the earlier ones (#4461 and #4036) and with the new versions of fricas it is not clear to me which is now needed. I agree that the axiom and fricas should be separate interfaces although at the moment the fricas interface is a basically a subclass of the axiom one. They are still very similar but it means that to test axiom.py one needs both axiom and fricas installed.

Adam

comment:14 in reply to:  12 Changed 13 years ago by Adam Webb

Just a comment. #4461 deals with an issue with clisp which is no longer used. It seems that it could just be closed now. #4036 are independent of #6318. (I am not sure what they do.) #6318 fix some interface issues but perhaps should be added after #4036?

As a guess: 1. apply #4036 to a new version (and rebase), 2. apply #6318 and test, 3. check/make a new fricas spkg.

Adam

PS I will not have computer access for at least a week but can look at it after that if no one else has.

comment:15 Changed 13 years ago by Minh Van Nguyen

Summary: [with SPKG, needs work] FriCAS 1.0.7[with spkg, needs work] FriCAS 1.0.7

comment:16 in reply to:  12 Changed 13 years ago by Adam Webb

Replying to burcin:

Could someone comment on the relation between the two pairs of issues:

Is the package here built on the one at #4461? Are the changes on #4036 independent of the ones at #6318?

Thanks.

Burcin

The patches at #4036 are already in and I only added a few fricas tests. I would apply #6318 first, then #4036 (trac_4036-axiom_interface.patch only) and of course axiom and fricas need to be installed to test everything.

Adam

comment:17 in reply to:  description ; Changed 13 years ago by RalfHemmecke

Cc: RalfHemmecke added
Status: needs_workneeds_review
Summary: [with spkg, needs work] FriCAS 1.0.7[with spkg, needs work] FriCAS X.Y.Z

I've created an spkg builder at http://boxen.math.washington.edu:29792 . This code is not an spkg itself but rather builds two spkg: fricas-VERSION.spkg and fricasaldor-VERSION.spkg. It requires a checkout of the FriCAS sources from SVN at sourceforge.

On sage.math the following should work.

WARNING, before you start compiling FriCAS, you should read the top of the Makefile, in particular the part connected to an X server. It's unwise to have the X server running on a different machine from where you compile the spkg!!! The X server is not needed for actually installing the .spkg into Sage.

Get the FriCAS sources:

svn export https://fricas.svn.sourceforge.net/svnroot/fricas/trunk fricas-sources

Use the installed Aldor from my HOME (or install aldor from http://www.aldor.org).

export ALDORROOT=/home/hemmecke/aldorroot
export PATH=$ALDORROOT/bin:$PATH

Make sure you have ecl 9.8.4.

export PATH=$SAGE_ROOT/local/bin:$PATH
export LD_LIBRARY_PATH=$SAGE_ROOT/local/lib:$LD_LIBRARY_PATH
hg clone http://boxen.math.washington.edu:29792 fricas-aldor-spkg
cd fricas-aldor-spkg
make

Installing FriCAS inside Sage

cp fricas-aldor-spkg/spkg/fricas*.spkg  $SAGE_ROOT/spkg/optional
sage -i fricasaldor-VERSION

The VERSION of the spkg will automatically be extracted from FriCAS configure script. VERSION is appropriate if you use a proper release version, i.e. (should work for a release > 1.0.7)

svn export https://fricas.svn.sourceforge.net/svnroot/fricas/releases/1.0.8 fricas-sources

and running the fricas-aldor-spkg/Makefile will produce VERSION=1.0.8.

Ralf

comment:18 in reply to:  17 Changed 13 years ago by RalfHemmecke

Ooops, you should give a pointer to the FriCAS sources... and you will probably have to download some additional files.

hg clone http://boxen.math.washington.edu:29792 fricas-aldor-spkg
cd fricas-aldor-spkg
make spadhelp
make noweb
make FRICAS_SRC=../fricas-sources

comment:19 Changed 13 years ago by Adam Webb

Hi,

I tried on sage.math and on my own machine. When doing

make spadhelp
make noweb

I get messages like:

grep: /home/awebb/configure.ac: No such file or directory
grep: /home/awebb/configure.ac: No such file or directory

So it seems to be looking in the wrong place. I then get the following when I try to make.

sage subshell$ make FRICAS_SRC=../fricas-sources
mkdir -p build
touch -t 199901010000 build/.dir
(cd build; /home/awebb/test_fricas/fricas-sources/configure --enable-aldor --with-lisp=ecl)
checking build system type... x86_64-unknown-linux
checking host system type... x86_64-unknown-linux
checking target system type... x86_64-unknown-linux
checking for make... make
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables...
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for a BSD-compatible install... /usr/bin/install -c
checking for touch... touch
checking for mktemp... mktemp
checking for gawk... no
checking for mawk... mawk
checking for gtar... no
checking for tar... tar
checking for ranlib... ranlib
checking for ar... ar
checking for latex... /usr/bin/latex
checking for makeindex... makeindex
checking for notangle... no
checking for noweave... no
configure: error: noweb utils and noweb sources missing
make: *** [build/src/aldor/al/libaxiom.al] Error 1
/home/awebb/test_fricas/fricas-aldor-spkg
sage subshell$ ls
build        Makefile  spkg-install.fricas       SPKG.txt.fricas       zips
gpl-3.0.txt  share     spkg-install.fricasaldor  SPKG.txt.fricasaldor
/home/awebb/test_fricas/fricas-aldor-spkg
sage subshell$ 

noweb-2.10a.tgz is in the zips directory. Is the script looking in the fricas-sources instead?

Cheers, Adam

comment:20 Changed 13 years ago by Adam Webb

Authors: Adam Webb
Reviewers: Jaap SpiesJaap Spies, Adam Webb
Status: needs_reviewneeds_work

comment:21 Changed 13 years ago by Adam Webb

Description: modified (diff)

comment:22 Changed 13 years ago by Adam Webb

Hi,

I apologize if I misunderstood. My impression was that work was ongoing and packages would be made available when ready.

When I tried making the packages on sage.math I eventually get to the following.

make[3]: Entering directory `/scratch/awebb/fricas-aldor-spkg/build/src/aldor'
Makefile:259: domains.mk: No such file or directory
echo "domains := \\" > domains.mk
echo ')lisp (dolist (c (|allConstructors|)) (format t "~A \\~%" (|constructor?| c))) (quit)'|(DAASE=/scratch/awebb/fricas-aldor-spkg/build/target/x86_64-unknown-linux /scratch/awebb/fricas-aldor-spkg/build/target/x86_64-unknown-linux/bin/AXIOMsys)|grep '\\'|grep -v '.*- \\'|grep -v NIL|sed -e 's/.*-> //'|sort >> domains.mk
echo >> domains.mk
make[3]: Leaving directory `/scratch/awebb/fricas-aldor-spkg/build/src/aldor'
make[3]: Entering directory `/scratch/awebb/fricas-aldor-spkg/build/src/aldor'
svn cat https://svn.origo.ethz.ch/algebraist/trunk/aldor/lib/libax0/axiom.as > axiom.as
svn: /usr/local/sage/local/lib/libcrypto.so.0.9.8: no version information available (required by /usr/lib/libpq.so.5)
svn: /usr/local/sage/local/lib/libssl.so.0.9.8: no version information available (required by /usr/lib/libpq.so.5)
svn: /usr/local/sage/local/lib/libssl.so.0.9.8: no version information available (required by /usr/lib/libneon.so.27)
svn: /usr/local/sage/local/lib/libcrypto.so.0.9.8: no version information available (required by /usr/lib/libneon.so.27)
svn: relocation error: /usr/lib/libneon.so.27: symbol SSL_CTX_set_client_cert_cb, version OPENSSL_0.9.8 not defined in file libssl.so.0.9.8 with link time reference
make[3]: *** [axiom.as] Error 127
make[3]: Leaving directory `/scratch/awebb/fricas-aldor-spkg/build/src/aldor'
make[2]: *** [all-aldor] Error 2
make[2]: Leaving directory `/scratch/awebb/fricas-aldor-spkg/build/src'
make[1]: *** [all-src] Error 2
make[1]: Leaving directory `/scratch/awebb/fricas-aldor-spkg/build'
make: *** [build/src/aldor/al/libaxiom.al] Error 2

I will try again on a local machine although my machine is much slower.

Adam

comment:23 Changed 13 years ago by Adam Webb

I got the same result locally. ~ Adam

comment:24 Changed 13 years ago by Adam Webb

Description: modified (diff)

I am not sure what the trouble was but I tried again and made the package. The package without the aldor interface is at http://sage.math.washington.edu/home/awebb/fricas-1.0.8.spkg. It installs and I can start the console.

Adam

Note: See TracTickets for help on using tickets.