aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:42:50 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:42:50 +0900
commit3a6f1eea11ad60874915b08c331bf0a169908ecc (patch)
treee133cf94e93e87d3093ff59638bcbd5eb2fa64f7 /tojo-tokyo
parent8306f24c8ac74fe7635f8a48aae3b98367bd2716 (diff)
acl2: Fix acl2s build method.
Diffstat (limited to 'tojo-tokyo')
-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"