在Ubuntu上使用Quicklisp安装GSLL的问题



使用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。

最新更新