2

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

1 回答 1

0

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

来自GSLL清单:

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

于 2014-01-08T21:53:19.160 回答