2021-08-15 02:00:27 +02:00
|
|
|
From d0136f350b82ae845d56029db43d153c91d5e494 Mon Sep 17 00:00:00 2001
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
From: Keshav Kini <keshav.kini@gmail.com>
|
|
|
|
|
Date: Sat, 30 May 2020 21:27:47 -0700
|
2021-08-15 02:00:27 +02:00
|
|
|
Subject: [PATCH] Fix some paths for Nix build
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
|
|
|
|
---
|
|
|
|
|
books/build/features.sh | 1 +
|
2021-08-15 02:00:27 +02:00
|
|
|
.../ipasir/load-ipasir-sharedlib-raw.lsp | 6 +--
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
books/projects/smtlink/config.lisp | 2 +-
|
|
|
|
|
books/projects/smtlink/examples/examples.lisp | 4 +-
|
|
|
|
|
books/projects/smtlink/smtlink-config | 2 +-
|
2021-08-15 02:00:27 +02:00
|
|
|
.../cl+ssl-20200610-git/src/reload.lisp | 53 +------------------
|
|
|
|
|
6 files changed, 8 insertions(+), 60 deletions(-)
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
|
|
|
|
diff --git a/books/build/features.sh b/books/build/features.sh
|
2021-08-15 02:00:27 +02:00
|
|
|
index d45a7aa61..27256b7cd 100755
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
--- a/books/build/features.sh
|
|
|
|
|
+++ b/books/build/features.sh
|
2021-08-15 02:00:27 +02:00
|
|
|
@@ -122,6 +122,7 @@ EOF
|
|
|
|
|
fi
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
|
|
|
|
echo "Determining whether an ipasir shared library is installed" 1>&2
|
2021-08-15 02:00:27 +02:00
|
|
|
+IPASIR_SHARED_LIBRARY=${IPASIR_SHARED_LIBRARY:-@libipasir@}
|
|
|
|
|
if check_ipasir; then
|
|
|
|
|
cat >> Makefile-features <<EOF
|
|
|
|
|
export OS_HAS_IPASIR ?= 1
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
diff --git a/books/centaur/ipasir/load-ipasir-sharedlib-raw.lsp b/books/centaur/ipasir/load-ipasir-sharedlib-raw.lsp
|
2021-08-15 02:00:27 +02:00
|
|
|
index 762e4ad4c..c9802cb58 100644
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
--- a/books/centaur/ipasir/load-ipasir-sharedlib-raw.lsp
|
|
|
|
|
+++ b/books/centaur/ipasir/load-ipasir-sharedlib-raw.lsp
|
2021-08-15 02:00:27 +02:00
|
|
|
@@ -30,11 +30,7 @@
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
2021-08-15 02:00:27 +02:00
|
|
|
(er-let* ((libname (acl2::getenv$ "IPASIR_SHARED_LIBRARY" acl2::*the-live-state*)))
|
|
|
|
|
(handler-case
|
|
|
|
|
- (cffi::load-foreign-library
|
|
|
|
|
- (or libname
|
|
|
|
|
- (cw "WARNING: $IPASIR_SHARED_LIBRARY not specified, ~
|
|
|
|
|
- defaulting to \"libipasirglucose4.so\"")
|
|
|
|
|
- "libipasirglucose4.so"))
|
|
|
|
|
+ (cffi::load-foreign-library (or libname "@libipasir@"))
|
|
|
|
|
(error () (er hard? 'load-ipasir-shardlib-raw
|
|
|
|
|
"Couldn't load ipasir shared library from ~s0."
|
|
|
|
|
libname))))
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
diff --git a/books/projects/smtlink/config.lisp b/books/projects/smtlink/config.lisp
|
|
|
|
|
index c74073174..8d92355f7 100644
|
|
|
|
|
--- a/books/projects/smtlink/config.lisp
|
|
|
|
|
+++ b/books/projects/smtlink/config.lisp
|
|
|
|
|
@@ -51,7 +51,7 @@ where the system books are."))
|
|
|
|
|
(make-smtlink-config :interface-dir interface-dir
|
|
|
|
|
:smt-module "ACL2_to_Z3"
|
|
|
|
|
:smt-class "ACL22SMT"
|
|
|
|
|
- :smt-cmd "/usr/bin/env python"
|
|
|
|
|
+ :smt-cmd "python"
|
|
|
|
|
:pythonpath "")))
|
|
|
|
|
|
|
|
|
|
;; -----------------------------------------------------------------
|
|
|
|
|
diff --git a/books/projects/smtlink/examples/examples.lisp b/books/projects/smtlink/examples/examples.lisp
|
2021-08-15 02:00:27 +02:00
|
|
|
index 90534892f..4ab98b2f0 100644
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
--- a/books/projects/smtlink/examples/examples.lisp
|
|
|
|
|
+++ b/books/projects/smtlink/examples/examples.lisp
|
|
|
|
|
@@ -75,7 +75,7 @@ Subgoal 2
|
|
|
|
|
Subgoal 2.2
|
|
|
|
|
Subgoal 2.2'
|
|
|
|
|
Using default SMT-trusted-cp...
|
|
|
|
|
-; SMT solver: `/usr/bin/env python /tmp/py_file/smtlink.w59zR`: 0.52 sec, 7,904 bytes
|
|
|
|
|
+; SMT solver: `python /tmp/py_file/smtlink.w59zR`: 0.52 sec, 7,904 bytes
|
|
|
|
|
Proved!
|
|
|
|
|
Subgoal 2.2''
|
|
|
|
|
Subgoal 2.1
|
|
|
|
|
@@ -139,7 +139,7 @@ read back into ACL2. Below are the outputs from this clause processor called
|
|
|
|
|
|
|
|
|
|
@({
|
|
|
|
|
Using default SMT-trusted-cp...
|
|
|
|
|
-; SMT solver: `/usr/bin/env python /tmp/py_file/smtlink.w59zR`: 0.52 sec, 7,904 bytes
|
|
|
|
|
+; SMT solver: `python /tmp/py_file/smtlink.w59zR`: 0.52 sec, 7,904 bytes
|
|
|
|
|
Proved!
|
|
|
|
|
})
|
|
|
|
|
|
|
|
|
|
diff --git a/books/projects/smtlink/smtlink-config b/books/projects/smtlink/smtlink-config
|
|
|
|
|
index 0d2703545..0f58904ea 100644
|
|
|
|
|
--- a/books/projects/smtlink/smtlink-config
|
|
|
|
|
+++ b/books/projects/smtlink/smtlink-config
|
|
|
|
|
@@ -1 +1 @@
|
|
|
|
|
-smt-cmd=/usr/bin/env python
|
|
|
|
|
+smt-cmd=python
|
2021-08-15 02:00:27 +02:00
|
|
|
diff --git a/books/quicklisp/bundle/software/cl+ssl-20200610-git/src/reload.lisp b/books/quicklisp/bundle/software/cl+ssl-20200610-git/src/reload.lisp
|
|
|
|
|
index e5db28645..65eb818a1 100644
|
|
|
|
|
--- a/books/quicklisp/bundle/software/cl+ssl-20200610-git/src/reload.lisp
|
|
|
|
|
+++ b/books/quicklisp/bundle/software/cl+ssl-20200610-git/src/reload.lisp
|
|
|
|
|
@@ -37,59 +37,10 @@
|
|
|
|
|
;; These are 32-bit only.
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
|
|
|
|
(cffi:define-foreign-library libcrypto
|
2021-08-15 02:00:27 +02:00
|
|
|
- (:windows (:or #+(and windows x86-64) "libcrypto-1_1-x64.dll"
|
|
|
|
|
- #+(and windows x86) "libcrypto-1_1.dll"
|
|
|
|
|
- "libeay32.dll"))
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
- (:openbsd "libcrypto.so")
|
|
|
|
|
- (:darwin (:or "/opt/local/lib/libcrypto.dylib" ;; MacPorts
|
|
|
|
|
- "/sw/lib/libcrypto.dylib" ;; Fink
|
|
|
|
|
- "/usr/local/opt/openssl/lib/libcrypto.dylib" ;; Homebrew
|
|
|
|
|
- "/usr/local/lib/libcrypto.dylib" ;; personalized install
|
|
|
|
|
- "libcrypto.dylib" ;; default system libcrypto, which may have insufficient crypto
|
2021-08-15 02:00:27 +02:00
|
|
|
- "/usr/lib/libcrypto.dylib"))
|
|
|
|
|
- (:cygwin (:or "cygcrypto-1.1.dll" "cygcrypto-1.0.0.dll")))
|
2021-11-12 05:20:00 +01:00
|
|
|
+ (t "@libcrypto@"))
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
|
|
|
|
(cffi:define-foreign-library libssl
|
2021-08-15 02:00:27 +02:00
|
|
|
- (:windows (:or #+(and windows x86-64) "libssl-1_1-x64.dll"
|
|
|
|
|
- #+(and windows x86) "libssl-1_1.dll"
|
|
|
|
|
- "libssl32.dll"
|
|
|
|
|
- "ssleay32.dll"))
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
- ;; The default OS-X libssl seems have had insufficient crypto algos
|
|
|
|
|
- ;; (missing TLSv1_[1,2]_XXX methods,
|
|
|
|
|
- ;; see https://github.com/cl-plus-ssl/cl-plus-ssl/issues/56)
|
|
|
|
|
- ;; so first try to load possible custom installations of libssl
|
|
|
|
|
- (:darwin (:or "/opt/local/lib/libssl.dylib" ;; MacPorts
|
|
|
|
|
- "/sw/lib/libssl.dylib" ;; Fink
|
|
|
|
|
- "/usr/local/opt/openssl/lib/libssl.dylib" ;; Homebrew
|
|
|
|
|
- "/usr/local/lib/libssl.dylib" ;; personalized install
|
|
|
|
|
- "libssl.dylib" ;; default system libssl, which may have insufficient crypto
|
|
|
|
|
- "/usr/lib/libssl.dylib"))
|
|
|
|
|
- (:solaris (:or "/lib/64/libssl.so"
|
|
|
|
|
- "libssl.so.0.9.8" "libssl.so" "libssl.so.4"))
|
|
|
|
|
- ;; Unlike some other systems, OpenBSD linker,
|
|
|
|
|
- ;; when passed library name without versions at the end,
|
|
|
|
|
- ;; will locate the library with highest macro.minor version,
|
|
|
|
|
- ;; so we can just use just "libssl.so".
|
|
|
|
|
- ;; More info at https://github.com/cl-plus-ssl/cl-plus-ssl/pull/2.
|
|
|
|
|
- (:openbsd "libssl.so")
|
2021-08-15 02:00:27 +02:00
|
|
|
- ((and :unix (not :cygwin)) (:or "libssl.so.1.1"
|
|
|
|
|
- "libssl.so.1.0.2m"
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
- "libssl.so.1.0.2k"
|
|
|
|
|
- "libssl.so.1.0.2"
|
|
|
|
|
- "libssl.so.1.0.1l"
|
|
|
|
|
- "libssl.so.1.0.1j"
|
2021-08-15 02:00:27 +02:00
|
|
|
- "libssl.so.1.0.1f"
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
- "libssl.so.1.0.1e"
|
|
|
|
|
- "libssl.so.1.0.1"
|
|
|
|
|
- "libssl.so.1.0.0q"
|
|
|
|
|
- "libssl.so.1.0.0"
|
|
|
|
|
- "libssl.so.0.9.8ze"
|
|
|
|
|
- "libssl.so.0.9.8"
|
|
|
|
|
- "libssl.so.10"
|
|
|
|
|
- "libssl.so.4"
|
|
|
|
|
- "libssl.so"))
|
2021-08-15 02:00:27 +02:00
|
|
|
- (:cygwin (:or "cygssl-1.1.dll" "cygssl-1.0.0.dll"))
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
- (t (:default "libssl3")))
|
2021-11-12 05:20:00 +01:00
|
|
|
+ (t "@libssl@"))
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
|
|
|
|
(unless (member :cl+ssl-foreign-libs-already-loaded
|
|
|
|
|
*features*)
|
|
|
|
|
--
|
2021-08-15 02:00:27 +02:00
|
|
|
2.31.1
|
acl2, acl2-minimal: build standard library, init
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-02-24 06:12:37 +01:00
|
|
|
|
