使用Quicklisp安装Gnu Scientific Library for Lisp(GSLL)时遇到一些问题。我是Common Lisp的新手,但从我所读到的内容来看,作为一名数学博士生,我看到了这种语言在抽象概念方面的巨大潜力。所以,我还没有深入了解计算机科学方面的细节,因为我的第一个目标是解决我的数学问题。
我按照Quicklisp.org上的说明安装了Quicklisp。当我按照说明加载库"vecto"时,它就可以工作了。但当我尝试加载GSLL时,我会得到以下结果。我希望在你的帮助下完全解决这个问题。非常感谢。
(ql:quickload "gsll")
*** - Error while trying to load definition for system gsll from pathname
/home/monsieur/quicklisp/dists/quicklisp/software/gsll-20130312-git/gsll.asd:
READ de #<INPUT BUFFERED FILE-STREAM CHARACTER
#P"/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.0/libffi/built-in-types.lisp"
@36> : #<PACKAGE CFFI> ne comprend pas de symbole externe de nom
"*BUILT-IN-FLOAT-TYPES*".
Rentrées possibles:
RETRY :R1 Retry compiling #<CL-SOURCE-FILE "cffi-libffi" "libffi" "built-in-types">.
ACCEPT :R2 Continue, treating compiling #<CL-SOURCE-FILE "cffi-libffi" "libffi" "built-in-types"> as having been successful.
SKIP :R3 skip (EVAL-WHEN # #)
RETRY :R4 retry (EVAL-WHEN # #)
STOP :R5 stop loading file /home/monsieur/quicklisp/dists/quicklisp/software/gsll-20130312-git/gsll.asd
REINITIALIZE-SOURCE-REGISTRY-AND-RETRY :R6 Retry finding system gsll after reinitializing the source-registry.
ABORT :R7 Give up on "gsll"
ABORT :R8 Abort main loop
Break 1 CFFI[15]>
(编辑)
谢谢你,Nick Levine,在你的帮助下,我用CLISP解释器更新了Quicklisp的分发。它起作用了,我只是得到了警告。然后我尝试加载GSLL,下面是我得到的:
[3]> (ql:quickload "gsll")
; cc -m64 -I/usr/share/common-lisp/source/cl-cffi/ -fPIC -o /home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix /home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c: In function ‘main’:
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:110:47: attention : format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:115:35: attention : format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:120:35: attention : format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:125:35: attention : format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:130:35: attention : format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:144:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:146:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:158:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:160:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:172:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:174:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:186:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:188:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:200:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:202:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:214:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:216:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:228:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:230:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:242:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:244:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:256:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:258:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:270:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:272:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:284:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:286:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:298:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:300:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:312:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:314:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:326:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:328:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:340:5: attention : format ‘%lli’ expects argument of type ‘long long int’, but argument 3 has type ‘long int’ [-Wformat]
/home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.c:342:5: attention : format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘long unsigned int’ [-Wformat]
; /home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix /home/monsieur/.cache/common-lisp/clisp-2.49-unix-x64/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/libffi-unix.grovel-tmp.lisp
*** - Error while trying to load definition for system gsll from pathname
/home/monsieur/quicklisp/dists/quicklisp/software/gsll-20130615-git/gsll.asd:
READ de #<INPUT BUFFERED FILE-STREAM CHARACTER
#P"/home/monsieur/quicklisp/dists/quicklisp/software/cffi_0.11.2/libffi/built-in-types.lisp"
@36> : #<PACKAGE CFFI> ne comprend pas de symbole externe de nom
"*BUILT-IN-FLOAT-TYPES*".
Rentrées possibles:
RETRY :R1 Retry compiling #<CL-SOURCE-FILE "cffi-libffi" "libffi" "built-in-types">.
ACCEPT :R2 Continue, treating compiling #<CL-SOURCE-FILE "cffi-libffi" "libffi" "built-in-types"> as having been successful.
SKIP :R3 skip (EVAL-WHEN # #)
RETRY :R4 retry (EVAL-WHEN # #)
STOP :R5 stop loading file /home/monsieur/quicklisp/dists/quicklisp/software/gsll-20130615-git/gsll.asd
REINITIALIZE-SOURCE-REGISTRY-AND-RETRY :R6 Retry finding system gsll after reinitializing the source-registry.
ABORT :R7 Give up on "gsll"
ABORT :R8 Abort main loop
Break 1 CFFI[4]>
答案很可能是:不要使用CLISP。这太令人头疼了,时间太长了,无法解决这些错误。SBCL运行良好,CCL也应该运行良好,两者都是Common Lisp的优秀实现,可用于Ubuntu 64位。如果你仍然有问题,请再提出一个问题。
来自GSLL传单:
大多数用户不需要担心他们的实现和操作系统,因为如果安装了所需的库,所有这些都会得到支持(见下文)。但是,不建议使用CLISP。