aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages
diff options
context:
space:
mode:
Diffstat (limited to 'tojo-tokyo/packages')
-rw-r--r--tojo-tokyo/packages/acl2.scm12
1 files changed, 11 insertions, 1 deletions
diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index 72b1fd0..ec2c7bb 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -79,8 +79,18 @@
;; XXX: Avoid BOOK-HASH-MISMATCH.
(invoke "faketime" "-f" "1970-01-01 00:00:01"
"make")
+ (chdir "books")
(invoke "faketime" "-f" "1970-01-01 00:00:01"
- "make" "basic" "acl2s"
+ "make" "acl2s"
+ (string-append "ACL2=" (string-append acl2 "/saved_acl2"))
+ "ACL2_HAS_HONS=1"
+ "ACL2_HAS_ANSI=1"
+ "ACL2_COMP_EXT=fasl"
+ "ACL2_HOST_LISP=CCL"
+ "USE_QUICKLISP=0")
+ (chdir "..")
+ (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"