aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tojo-tokyo/packages/acl2.scm10
1 files changed, 5 insertions, 5 deletions
diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index e140d7d..a75de90 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -54,7 +54,8 @@
"12ydcb3s4cwlk5mghxn0cah3fw698c27m8vpyjwyx219iq2c0h5l"))))
(build-system gnu-build-system)
(arguments
- `(#:phases
+ `(#:tests #f
+ #:phases
(modify-phases %standard-phases
(replace 'configure
(lambda _
@@ -77,16 +78,15 @@
;; XXX: Avoid BOOK-HASH-MISMATCH.
(invoke "faketime" "-f" "1970-01-01 00:00:01"
- "make" "LISP=sbcl")
+ "make")
(invoke "faketime" "-f" "1970-01-01 00:00:01"
"make" "basic"
(string-append "ACL2=" (string-append acl2 "/saved_acl2"))
"ACL2_HAS_HONS=1"
"ACL2_HAS_ANSI=1"
"ACL2_COMP_EXT=fasl"
- "ACL2_HOST_LISP=SBCL"
+ "ACL2_HOST_LISP=CCL"
"USE_QUICKLISP=0"))))
- (delete 'check)
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
@@ -103,7 +103,7 @@
("inetutils" ,inetutils)
("libfaketime" ,libfaketime)))
(inputs
- `(("sbcl" ,sbcl)))
+ `(("ccl" ,ccl)))
(synopsis "A Computational Logic for Applicative Common Lisp")
(description "ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. \"ACL2\" denotes \" Computational Logic for Applicative Common Lisp\".")
(home-page "https://www.cs.utexas.edu/users/moore/acl2/")