PacSolve

Setup / Dependencies

Clone Repo

Make sure to also git submodule init and git submodule update to fetch the submodules. (Or do the clone recursively thing, can't remember the flag)
After cloning repo / submodules, make sure that each submodule is pointing to the right remote / branch:
- cd npm/; git remote -v; git status; cd .. should show the remote is https://github.com/donald-pinckney/cli/, and the branch is latest
- cd arborist/; git remote -v; git status; cd .. should show the remote is https://github.com/donald-pinckney/arborist, and the branch is main
- If either of these are wrong, change remotes / checkout branches appropriately.

Native Setup

Setup Dependencies

You need to have installed:
- node (I have v15.2.1)
- any somewhat recent npm (the version really shouldn't matter)
- Racket (I have Racket v8.4 [cs])

Installing My Custom Npm

Run all the following on a compute node if on discovery!

pushd arborist/; npm install; popd
pushd npm/; npm install -g; popd
pushd rosette/; raco pkg remove rosette; raco pkg install; popd
pushd z3/; python3 scripts/mk_make.py --staticbin; cd build/; make -j12; popd
pushd version-oldness/; npm install; popd
pushd version-cve-badness/; npm install; popd
pushd RosetteSolver/; raco exe rosette-solver.rkt; popd
Find the location of the installed NPM binary, and symlink it to someplace in your PATH under the name minnpm. E.g.: ln -s $(which npm) ~/.local/bin/minnpm.
Then probably restart your terminal
From anywhere, run minnpm install --help. You should see --rosette listed as an option.

Docker Image Setup

Setup Dependencies

You need to have installed:
- Docker (version should not matter)

Installing The Docker Image

pushd dockerfile/; ./build.sh minnpm.Dockerfile; popd
Now, you will have the docker image installed as pacsolve:latest