Hello, Here are some results from 'time make check' with different Common Lisp flavors. FriCAS is built with './configure --with-x=no --with-lisp=path_to_cl'. FriCAS cloned from GitHub as of today with very minor modifications. I used roswell to test them on my x86-64 Intel laptop with WSL2. Roswell allows easy installation of different CL implementations, see: https://roswell.github.io. There is even a .deb package on this web site if you don't know Roswell and want to give it a try.
On my machine for example, here is a list of installable CLs. Roswell
installs them in $HOME/.roswell/ by default.
┌──(greg㉿ellipse)-[~/jfricas]
└─$ ros install
Usage:
To install a new Lisp implementation:
ros install impl [options]
or a system from the GitHub:
ros install fukamachi/prove/v2.0.0 [repository... ]
or an asdf system from quicklisp:
ros install quicklisp-system [system... ]
or a local script:
ros install ./some/path/to/script.ros [path... ]
or a local system:
ros install ./some/path/to/system.asd [path... ]
Candidates impls for installation are:
abcl-bin
allegro
ccl-bin
clasp-bin
clasp
clisp
cmu-bin
ecl
mkcl
sbcl-bin
sbcl-head
sbcl
sbcl-source
So I installed:
SBCL-2.3.0 with
*features*
(:ARENA-ALLOCATOR :X86-64 :GENCGC :64-BIT :ANSI-CL :COMMON-LISP :ELF
:IEEE-FLOATING-POINT :LINUX :LITTLE-ENDIAN :PACKAGE-LOCAL-NICKNAMES
:SB-CORE-COMPRESSION :SB-LDB :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE
:SBCL :UNIX)
CCL-1.12.1 with
*features*
(:PRIMARY-CLASSES :COMMON-LISP :OPENMCL :CCL :CCL-1.2 :CCL-1.3
:CCL-1.4 :CCL-1.5 :CCL-1.6 :CCL-1.7 :CCL-1.8 :CCL-1.9 :CCL-1.10
:CCL-1.11 :CCL-1.12 :CLOZURE :CLOZURE-COMMON-LISP :ANSI-CL :UNIX
:OPENMCL-UNICODE-STRINGS :IPV6 :OPENMCL-NATIVE-THREADS
:OPENMCL-PARTIAL-MOP :MCL-COMMON-MOP-SUBSET :OPENMCL-MOP-2
:OPENMCL-PRIVATE-HASH-TABLES
:STATIC-CONSES-SHOULD-WORK-WITH-EGC-IN-CCL :PACKAGE-LOCAL-NICKNAMES
:X86-64 :X86_64 :X86-TARGET :X86-HOST :X8664-TARGET :X8664-HOST
:LINUX-HOST :LINUX-TARGET :LINUXX86-TARGET :LINUXX8664-TARGET
:LINUXX8664-HOST :64-BIT-TARGET :64-BIT-HOST :LINUX
:LITTLE-ENDIAN-TARGET :LITTLE-ENDIAN-HOST)
ECL-21.2.1 with
*features*
(:WALKER :CDR-1 :CDR-5 :LINUX :FORMATTER :CDR-7 :ECL-WEAK-HASH
:LITTLE-ENDIAN :ECL-READ-WRITE-LOCK :LONG-LONG :UINT64-T :UINT32-T
:UINT16-T :COMPLEX-FLOAT :LONG-FLOAT :UNICODE :DFFI :CLOS-STREAMS
:CMU-FORMAT :UNIX :ECL-PDE :DLOPEN :CLOS :THREADS :BOEHM-GC :ANSI-CL
:COMMON-LISP :FLOATING-POINT-EXCEPTIONS :IEEE-FLOATING-POINT
:PACKAGE-LOCAL-NICKNAMES :CDR-14 :PREFIXED-API :FFI :X86_64 :COMMON
:ECL)
CMU (i386) - 21d with
*features*
(:GERDS-PCL :PCL-STRUCTURES :PORTABLE-COMMONLOOPS :PCL :CMU21 :CMU21D
:PYTHON :MODULAR-ARITH :MP :X86 :RELOCATABLE-STACKS :SSE2
:LINKAGE-TABL :RELATIVE-PACKAGE-NAMES :EXECUTABLE :ELF :LINUX :GLIBC2
:UNIX :RANDOM-XOROSHIRO :GENCGC :CMUCL :UNICODE :COMPLEX-FP-VOPS
:HASH-NEW :ALIEN-CALLBACK :DOUBLE-DOUBLE :HEAP-OVERFLOW-CHECK
:STACK-CHECKING :COMMON-LISP :ANSI-CL :IEEE-FLOATING-POINT :CMU)
CLISP 2.49.20210628.gitde01f0f with 'apt install clisp 'with
*features*
(:READLINE :REGEXP :WILDCARD :SYSCALLS :I18N :LOOP :COMPILER :CLOS
:MOP :CLISP :ANSI-CL :COMMON-LISP :LISP=CL :INTERPRETER
:LOGICAL-PATHNAMES :SOCKETS :GENERIC-STREAMS :SCREEN :FFI :GETTEXT
:UNICODE :BASE-CHAR=CHARACTER :WORD-SIZE=64 :PC386 :UNIX)
ABCL-1.9.0 with
*features*
(:NIO :X86-64 :UNIX :LINUX :JAVA-17 :JVM-17.0.5 :ARMEDBEAR :ABCL
:COMMON-LISP :ANSI-CL :CDR6 :MOP :PACKAGE-LOCAL-NICKNAMES)
GCL with 'apt install gcl' - GCL-2.6.14 released the 20230113 with
*features*
(:COMPILER :NUMLIB :SDEBUG :DEFPACKAGE :LARGE-MEMORY-MODEL :GNU-LD
:XGCL :UNEXEC :NATIVE-RELOC :EDITLINE :TRUNCATE_USE_C
:CLX-LITTLE-ENDIAN :BSD :GNU :LINUX :X86_64 :SGC :IEEE-FLOATING-POINT
:UNIX :GMP :GCL :AKCL :COMMON :KCL)
=====================================================
SBCL:
no unexpected failures
real 1m31,358s
user 1m28,217s
sys 0m3,292s
----------------------------------------------------------------------------------------------
CCL:
4 failing files:
agcd.output: 1
integ.output: 3
lodof.output: 1
mantepse.output: 1
real 3m45,449s
user 3m41,144s
sys 0m3,825s
----------------------------------------------------------------------------------------------
CMU:
1 failing files:
finite.output: 1
real 4m54,976s
user 4m50,230s
sys 0m4,917s
---------------------------------------------------------------------------------------------
ECL:
no unexpected failures
real 6m44,441s
user 7m14,735s
sys 0m18,556s
-------------------------------------------------------------------------------------------------
CLISP:
no unexpected failures
make[1] : on quitte le répertoire « /home/greg/jfricas-sbcl/src/input »
real 19m17,411s
user 18m23,035s
sys 0m30,544s
----------------------------------------------------------------------------------------------
ABCL:
checking PREGENERATED... ""
checking Lisp implementation... Armed Bear Common Lisp 1.9.0
Java 17.0.5 Debian
OpenJDK 64-Bit Server VM
Low-level initialization completed in 0.359 seconds.
Startup completed in 2.023 seconds.
Type ":help" for a list of available commands.
CL-USER(1): abcl
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
configure: error: We do not know how to build FriCAS this
/home/greg/.roswell/impls/x86-64/linux/abcl-bin/1.9.0/abcl
------------------------------------------------------------------------------------------------
GCL:
--->/home/greg/jfricas-sbcl/src/algebra/U64INT.spad-->U64Int((qconvert
(% (Integer)))): Not documented!!!!
U64Int is already explicitly exposed in frame initial
U64Int will be automatically loaded when needed from
/home/greg/jfricas-sbcl/src/algebra/U64INT.NRLIB/U64INT
)lisp (make-databases nil nil)
"building operation.daase"
"building category.daase"
>> System error:
(1) -> mv: cannot stat 'category.daase': No such file or directory
mv: cannot stat 'compress.daase': No such file or directory
mv: cannot stat 'interp.daase': No such file or directory
mv: cannot stat 'operation.daase': No such file or directory
make[3]: *** [Makefile:622: stamp-db] Error 1
========================================================
As you can see the "bench" reflects approximately what Waldek reported
in the INSTALL file.
But it remains that I was not able to build FriCAS with ABCL nor GCL,
and importantly too the 4 Clozure CL errors.
I attached diff-s from .output files where errors occur between the
outputs of SBCL and the other ones.
It's really a pity for CCL since it behaves very nicely with Julia
whereas SBCL does not (with Julia signals handling bypassed as
suggested by Waldek, thanks to him). More to come later.
Regards,
__
Greg
PS1: Qian, I CCed you because of the ABCL build failure. That could
come from the OpenJDK-17.0..5 JRE though or a bad configuration
option.
PS2: Camm, I CCed you too to let you know I think the Debian gcl
package requires libreadline-dev in 'Depends' or 'Suggests' and maybe
some Xorg dev packages. Ex.: directly at the beginning of FriCAS
build, just after compilation of two C files, (compiler::link ..)
passes -lgcl -lX11 -lm -ldl -lgmp -ltirpc -lreadline to ld. I may be
wrong though, and it could be up to the user to install them himself.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dYJ8OPYgJisfOLwikdyaivRywY0DERRarwSQL0jqN_4gw%40mail.gmail.com.
lodof.diff.gz
Description: application/gzip
mantepse.diff.gz
Description: application/gzip
integ.diff.gz
Description: application/gzip
agcd.diff.gz
Description: application/gzip
finite.diff.gz
Description: application/gzip
