How to update quicklisp - acl2/acl2 GitHub Wiki

Sol wrote the following in June of 2017

start from a clean git state
run update-libs.sh; if using SBCL do something like LISP=sbcl ./update-libs.sh
review "git status", do "git add" on any newly downloaded files under bundle/, and commit all new and changed files (but don't push yet) -- note that the untracked directories will likely be part of what needs to be added
build everything with USE_QUICKLISP=1 and make sure it all works
push the changes so everyone else doesn't have to replicate your efforts.

Jared wrote the following when he changed quicklisp to not download from the internet each time: