From 18f52ea12bc085981f3402e013e9e87d6115f21a Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 16 Jul 2022 14:43:02 +0900
Subject: tojo-tokyo: acl2: Certificate system books.

* tojo-tokyo/packages/acl2.scm(acl2)[arguments]: Certificate system books.
---
 tojo-tokyo/packages/acl2.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tojo-tokyo')

diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index c909d19..0f95c46 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -81,7 +81,9 @@
                        "make")
                (chdir "books")
                (invoke "faketime" "-f" "1970-01-01 00:00:01"
-                       "make" "basic"
+                       "make"
+                       "basic"
+                       "system"
                        (string-append "ACL2=" (string-append acl2 "/saved_acl2"))
                        "ACL2_HAS_HONS=1"
                        "ACL2_HAS_ANSI=1"
-- 
cgit v1.2.3