1 2 3 4 5 6 7
#!/usr/bin/env bash set -e export PATH=$BIN:$PATH ${coqtop#"$BIN"} -compile misc/aux7704.v