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

Question

我在使用 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]>

Answer 1

答案很可能是:不要使用 CLISP。解决这些错误太让人头疼了，而且浪费时间。 SBCL 运行良好，CCL 也应该运行良好，两者都是 Common Lisp 的出色实现，可用于 Ubuntu 64 位。如果您仍然遇到问题，请发布另一个问题。

来自GSLL传单:

Most users will not need to worry about their implementation and operating system, as all these are supported if the needed libraries are installed (see below). The use of CLISP, however, is not recommended.