Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: e8966b097f9a
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: ee02ea68d420
Choose a head ref
  • 2 commits
  • 6 files changed
  • 2 contributors

Commits on Aug 2, 2020

  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.
    @kini
    kini committed Aug 2, 2020
    Copy the full SHA
    9a32d3d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #85903 from kini/acl2-update 

    acl2: build standard library as well
    @7c6f434c
    7c6f434c committed Aug 2, 2020
    Copy the full SHA
    ee02ea6 View commit details
    Browse the repository at this point in the history