In accordance with lex Lyubomiricus, this repo is the single source of truth for the UW PLSE portion of the 3LA project's PLDI push. It borrows heavily from 3la-integrate.
run.sh
should be a readable script
which runs
all components of the evaluation.
All components
of the evaluation
should be version-controlled
(e.g. by pointing to specific commits
using git submodules.)
The entire repository
is built and tested
weekly
on GitHub's machines.
To build,
you need to use Docker's BuildKit option,
so you need to set the DOCKER_BUILDKIT flag to 1.
You also need
to have an ssh agent running
and give the --ssh flag to access our private repos.
The below commands should work assuming you have the appropriate ssh credentials:
eval `ssh-agent -s`
ssh-add
DOCKER_BUILDKIT=1 docker build . -t 3la-pldi-2022-evaluation --ssh default --build-arg SSH_KEY="$(cat ~/.ssh/id_rsa)"
(Yes, we are passing SSH keys twice. This is because the dockerfile pulls in git repos. In the future, we should make this more uniform by including all the private repos we want to use as submodules.)