`make quick` conflicts with `make`
It seems that .vio
files cannot coexist with .vo
files. I need both: I would like to make quick
for interactive theorem proving, and make
for fully checking the proof.
Note that, in the promising semantics project, we rsync'ed the repo into a designated subdirectory (.build
), and then did make
there (https://github.com/snu-sf/promising-coq/blob/master/build.sh). On the other hand, we did make quick
in the original repo.