`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.