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

Question

我在用Quicklisp安装Gnu some 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。绕过这些bug会让人头疼，也会浪费时间。SBCL运行得很好，CCL也应该运行得很好，它们都是Common Lisp的优秀实现，可用于Ubuntu 64位。如果您仍然有问题，请发布另一个问题。

从GSLL flysheet中：

大多数用户不需要担心他们的实现和操作系统，因为如果安装了所需的库，所有这些都会得到支持(见下文)。但是，不建议使用CLISP。