gistfile1.txt

opam init
eval $(opam config env)
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq coq-mathcomp-ssreflect coq-mathcomp-fingroup coq-mathcomp-algebra ounit uuidm

git clone https://github.com/uwplse/StructTact.git
cd StructTact
./build.sh
cd ..

git clone https://github.com/DistributedComponents/InfSeqExt.git
cd InfSeqExt
./build.sh
cd ..

git clone https://github.com/uwplse/verdi.git
cd verdi
./build.sh
cd ..

git clone -b v8.5 https://github.com/coq-contribs/aac-tactics.git AAC_tactics
cd AAC_tactics
make
cd ..

git clone https://github.com/DistributedComponents/verdi-aggregation.git
cd verdi-aggregation
./build.sh aggregation-dynamic
cd ..