On 7/4/22 03:43, Bill Page wrote:

Clasp is a new implementation of Lisp based on LLVM similar to the way
that ABCL is based on the Java VM.

https://github.com/clasp-developers/clasp

I was interested to see whether Clasp could run fricas0 since one of
the selling points for Clasp is the ability to directly and easily
link with c++ libraries. Apparently Clasp can run maxima. See

Actually I have tested Clasp with its 1.0.0 release.  And I have
some local patches with ugly hacks that makes clasp able to
compile fricas (loading fricas0 is no problem, of course).

A few problems so far:

1. Clasp compilation is very slow. (and results in huge object files)
2. Clasp runtime speed is not that great. (but it can do parallel compilcation)
3. The dumping (save-lisp-and-die) is the main problem.  Seems that
it dumps snapshot instead of executable.
4. Still some errors when running src/input tests.

Basically the following code solves many issues.

I'll put more Clasp support to fricas0 later, then to fricas.
(I think I'll do ABCL first.)

- Qian

=========
#+:CLASP
(progn
(setq |$lisp_bin_filetype| "fasp")

(defun exit-with-status (s)
  (core:quit s))

(defun chdir (dir)
  (ext:chdir dir))

(defun file-kind (filename)
  (case (core:file-kind filename nil)
    (:directory 1)
    ((nil) -1)
    (t 0)))
)

--
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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/9f395aef-5e7d-f5d4-08c1-0c151dad57a1%40gmail.com.

Reply via email to