Skip to main content

Browse the archive

Raw File
update-fstar.sh 
#!/bin/sh
cd ~/FStar
git pull
make ocaml -C src
make -C src/ocaml-output
back to top