On 3 November 2017 at 05:53, oldk1331 <[email protected]> wrote:

> On Fri, Nov 3, 2017 at 11:38 AM, Kurt Pagani <[email protected]> wrote:
> >
> >
> >> I'm using sbcl-1.4.1, and I get error in the last step --
> >> from the bottom of fricas.lisp, it calls (|spad|), then it complains
> >> "The function COMMON-LISP-USER::PUT is undefined".
> >> It should look up PUT from package BOOT.
> >
> >
> > That's strange, indeed. Unfortunately, my SBCL on Ubuntu is quite old,
> but
> > it works (just tried).
> > I got a package lock when using SBCL 1.3.18 on Windows/x_64. I'll try an
> > update tomorrow (1.4.1 must be rather new?)
> >
> > Have you any idea where the PUT could be? I only find:
>
> It's in vmlisp.lisp
>

> > $ grep "(put " interp/*.lisp
> > interp/daase.lisp:      (put con 'loaded c)
> >
> > Did you encounter any package locks?
>
> Yes, that's the problem with newer SBCL, and resolved in newer FriCAS,
> see SVN r2167.  It seems that you are using FriCAS 1.3.0? Why not
> update to 1.3.2?
>

Lack of time ;)
In the meantime I upgraded to SBCL 1.4.1 and Fricas 1.3.2:
SBCL complained about two missing files: i-util and dq ?
Otherwise it works: see *log.txt*

Summarized (what I've done):

1. wget  fricas/sbcl tarballs
2. configure/make
3. adjust mkfricas0.sh -> run -> creates fricas0
4. removed loading of i-util.lisp and dq.lisp
5. cd fricas0 -> sbcl --load "fricas.lisp"
...

I've pushed the new folder to github.
Ofr course, we have to check about dq and i-util.


> Also, it doesn't work correctly with clisp-2.49.  It gives error at
>   *** - EVAL: undefined function STTOSEX
> which is a function defined in boot/ptyout.boot
>
>
May be connected to the old version. On the other hand, it might depend on
by which lisp flavour the *.clisp files are generated.
I have no clear picture yet about this mechanisms.



>
> >> BTW, the Android version of ECL aborts regularly, don't know why yet.
> >
> >
> > Do you use the CL REPL? If so, which version: ECL 12.12.1? This is buggy!
> > I'm using ECL 13.5.1+armhf in GNURoot Debian (apt install ecl). There is
> > also an SBCL (1.2.4).
> > https://play.google.com/store/apps/details?id=com.gnuroot.debian&hl=en
>
> No, I cross-compiled ECL from source (just like MaximaOnAndroid) and use
> it under Termux.  Have you tried runnig FriCAS in GNURoot on your phone?
>

No :)
A dotty idea, but it ought work. I'll try on a tablet at least.

>
> BTW, SBCL doesn't support PIE and can't run after Android 5.0.  What's your
> Android version?
>
>
Version 7.0. It works fine in GNURoot.




> --
> 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 post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/fricas-devel.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
kfp@zulu:~/devel$ cd mkfricas0/
kfp@zulu:~/devel/mkfricas0$ ls
mkfricas0.sh  mkfricas0.sh~  README
kfp@zulu:~/devel/mkfricas0$ ./mkfricas0.sh
bye
kfp@zulu:~/devel/mkfricas0$ ls
fricas0  fricas0.tar.gz  mkfricas0.sh  mkfricas0.sh~  README
kfp@zulu:~/devel/mkfricas0$ cd fricas0/
kfp@zulu:~/devel/mkfricas0/fricas0$ ls
algebra  compile-algebra.lisp  fricas.lisp  interp  interp.lisp  lisp  msgs
kfp@zulu:~/devel/mkfricas0/fricas0$
kfp@zulu:~/devel/mkfricas0/fricas0$ sbcl --load fricas.lisp
This is SBCL 1.4.1, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.

; file: /home/kfp/devel/mkfricas0/fricas0/lisp/fricas-package.lisp
; in: DEFMACRO IN-PACKAGE
;     (DEFMACRO FRICAS-LISP::IN-PACKAGE (PACKAGE &REST FRICAS-LISP::OPTIONS)
;       `(IN-PACKAGE ,PACKAGE))
; --> SB-INT:NAMED-DS-BIND SB-INT:BINDING*
; ==>
;   (LET* ((#:G0
;           (SB-C::CHECK-DS-LIST/&REST (CDR #:EXPR) 1 1
;                                      '(# PACKAGE &REST FRICAS-LISP::OPTIONS)))
;          (PACKAGE (POP #:G0))
;          (FRICAS-LISP::OPTIONS #:G0))
;     (BLOCK FRICAS-LISP::IN-PACKAGE `(IN-PACKAGE ,PACKAGE)))
;
; caught STYLE-WARNING:
;   The variable OPTIONS is defined but never used.
;
; compilation unit finished
;   caught 1 STYLE-WARNING condition

; file: /home/kfp/devel/mkfricas0/fricas0/lisp/fricas-lisp.lisp
; in: PROGN (DEFVAR *SAVED-TERMINAL-IO* *TERMINAL-IO*)
;     (PROGN
;      (DEFVAR FRICAS-LISP::*SAVED-TERMINAL-IO* *TERMINAL-IO*)
;      (SETF *TERMINAL-IO*
;              (MAKE-TWO-WAY-STREAM *STANDARD-INPUT* *STANDARD-OUTPUT*))
;      (SETF *INVOKE-DEBUGGER-HOOK*
;              (LAMBDA (FRICAS-LISP::SB-COND FRICAS-LISP::SB-HOOK) (SETF #)))
;      (SETF *EVALUATOR-MODE* :INTERPRET))
;
; caught STYLE-WARNING:
;   The variable SB-COND is defined but never used.
;
; caught STYLE-WARNING:
;   The variable SB-HOOK is defined but never used.
;
; compilation unit finished
;   caught 2 STYLE-WARNING conditions
While evaluating the form starting at line 47, column 0
  of #P"/home/kfp/devel/mkfricas0/fricas0/interp.lisp":
While evaluating the form starting at line 2, column 0
  of #P"/home/kfp/devel/mkfricas0/fricas0/fricas.lisp":

debugger invoked on a SB-INT:SIMPLE-FILE-ERROR in thread
#<THREAD "main thread" RUNNING {1001928083}>:
  Couldn't load "interp/i-util": file does not exist.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [RETRY   ] Retry EVAL of current toplevel form.
  1: [CONTINUE] Ignore error and continue loading file 
"/home/kfp/devel/mkfricas0/fricas0/interp.lisp".
  2: [ABORT   ] Abort loading file 
"/home/kfp/devel/mkfricas0/fricas0/interp.lisp".
  3:            Retry EVAL of current toplevel form.
  4:            Ignore error and continue loading file 
"/home/kfp/devel/mkfricas0/fricas0/fricas.lisp".
  5:            Abort loading file 
"/home/kfp/devel/mkfricas0/fricas0/fricas.lisp".
  6:            Ignore runtime option --load "fricas.lisp".
  7:            Skip rest of --eval and --load options.
  8:            Skip to toplevel READ/EVAL/PRINT loop.
  9: [EXIT    ] Exit SBCL (calling #'EXIT, killing the process).

(LOAD "interp/i-util" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST T 
:EXTERNAL-FORMAT :DEFAULT)
0] 1
While evaluating the form starting at line 90, column 0
  of #P"/home/kfp/devel/mkfricas0/fricas0/interp.lisp":
While evaluating the form starting at line 2, column 0
  of #P"/home/kfp/devel/mkfricas0/fricas0/fricas.lisp":

debugger invoked on a SB-INT:SIMPLE-FILE-ERROR in thread
#<THREAD "main thread" RUNNING {1001928083}>:
  Couldn't load "interp/dq": file does not exist.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [RETRY   ] Retry EVAL of current toplevel form.
  1: [CONTINUE] Ignore error and continue loading file 
"/home/kfp/devel/mkfricas0/fricas0/interp.lisp".
  2: [ABORT   ] Abort loading file 
"/home/kfp/devel/mkfricas0/fricas0/interp.lisp".
  3:            Retry EVAL of current toplevel form.
  4:            Ignore error and continue loading file 
"/home/kfp/devel/mkfricas0/fricas0/fricas.lisp".
  5:            Abort loading file 
"/home/kfp/devel/mkfricas0/fricas0/fricas.lisp".
  6:            Ignore runtime option --load "fricas.lisp".
  7:            Skip rest of --eval and --load options.
  8:            Skip to toplevel READ/EVAL/PRINT loop.
  9: [EXIT    ] Exit SBCL (calling #'EXIT, killing the process).

(LOAD "interp/dq" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST T :EXTERNAL-FORMAT 
:DEFAULT)
0] 1
Warning: HyperTeX macro table not found
   Re-reading compress.daase   Re-reading interp.daase
   FriCAS initialization: interpreter
   FriCAS initialization: database
   FriCAS initialization: constructors
   FriCAS initialization: history
                       FriCAS Computer Algebra System
                            Version: COMMON-LISP
                   Timestamp: Fri Nov 3 16:07:27 CET 2017
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------

   Re-reading category.daase
   Re-reading operation.daase
   Re-reading browse.daase
(1) -> )lisp (load "compile-algebra")

.... 
....

; compiling (DECLAIM (NOTINLINE |IntegerMod;|))
; compiling (DEFUN |IntegerMod| ...)
; compiling (DEFUN |IntegerMod;| ...)
; compiling (MAKEPROP (QUOTE |IntegerMod|) ...);
; compilation unit finished
;   caught 12 STYLE-WARNING conditions


; /home/kfp/devel/mkfricas0/fricas0/algebra/ZMOD.fasl written
; compilation finished in 0:00:00.142
Value = T
(1) ->  )quit

**** comment
;(load "interp/i-util")
;(load "interp/dq")

File interp.lisp saved
kfp@zulu:~/devel/mkfricas0/fricas0$ sbcl --load fricas.lisp
This is SBCL 1.4.1, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.

; file: /home/kfp/devel/mkfricas0/fricas0/lisp/fricas-package.lisp
; in: DEFMACRO IN-PACKAGE
;     (DEFMACRO FRICAS-LISP::IN-PACKAGE (PACKAGE &REST FRICAS-LISP::OPTIONS)
;       `(IN-PACKAGE ,PACKAGE))
; --> SB-INT:NAMED-DS-BIND SB-INT:BINDING*
; ==>
;   (LET* ((#:G0
;           (SB-C::CHECK-DS-LIST/&REST (CDR #:EXPR) 1 1
;                                      '(# PACKAGE &REST FRICAS-LISP::OPTIONS)))
;          (PACKAGE (POP #:G0))
;          (FRICAS-LISP::OPTIONS #:G0))
;     (BLOCK FRICAS-LISP::IN-PACKAGE `(IN-PACKAGE ,PACKAGE)))
;
; caught STYLE-WARNING:
;   The variable OPTIONS is defined but never used.
;
; compilation unit finished
;   caught 1 STYLE-WARNING condition

; file: /home/kfp/devel/mkfricas0/fricas0/lisp/fricas-lisp.lisp
; in: PROGN (DEFVAR *SAVED-TERMINAL-IO* *TERMINAL-IO*)
;     (PROGN
;      (DEFVAR FRICAS-LISP::*SAVED-TERMINAL-IO* *TERMINAL-IO*)
;      (SETF *TERMINAL-IO*
;              (MAKE-TWO-WAY-STREAM *STANDARD-INPUT* *STANDARD-OUTPUT*))
;      (SETF *INVOKE-DEBUGGER-HOOK*
;              (LAMBDA (FRICAS-LISP::SB-COND FRICAS-LISP::SB-HOOK) (SETF #)))
;      (SETF *EVALUATOR-MODE* :INTERPRET))
;
; caught STYLE-WARNING:
;   The variable SB-COND is defined but never used.
;
; caught STYLE-WARNING:
;   The variable SB-HOOK is defined but never used.
;
; compilation unit finished
;   caught 2 STYLE-WARNING conditions
Warning: HyperTeX macro table not found
   Re-reading compress.daase   Re-reading interp.daase
   FriCAS initialization: interpreter
   FriCAS initialization: database
   FriCAS initialization: constructors
   FriCAS initialization: history
                       FriCAS Computer Algebra System
                            Version: COMMON-LISP
                   Timestamp: Fri Nov 3 16:07:27 CET 2017
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------

   Re-reading category.daase
   Re-reading operation.daase
   Re-reading browse.daase
(1) -> x+2

   (1)  x + 2
                                                    Type: Polynomial(Integer)
(2) -> D(sin(x),x,3)

   (2)  - cos(x)
                                                    Type: Expression(Integer)
(3) -> )set
                     Current Values of )set Variables

Variable     Description                                Current Value
-----------------------------------------------------------------------------
breakmode    execute break processing on error          nobreak
compiler     Library compiler options                   ...
expose       control interpreter constructor exposure   ...
functions    some interpreter function options          ...
fortran      view and set options for FORTRAN output    ...
hyperdoc     options in using HyperDoc                  ...
help         view and set some help options             ...
history      save workspace values in a history file    on
messages     show messages for various system features  ...
output       view and set some output options           ...
quit         protected or unprotected quit              unprotected
streams      set some options for working with streams  ...
system       set some system development variables      ...
userlevel    operation access level of system user      development

Variables with current values of ... have further sub-options. For example,
issue )set  system to see what the options are for system .
For more information, issue )help set .
(4) -> )lisp (lisp-implementation-type)

Value = "SBCL"

(4) ->  )lisp (lisp-implementation-version)

Value = "1.4.1"





Reply via email to