blob: 1e2afb75403feb0962184ebfc308c6b4d931d457 (
plain)
1
2
3
4
5
|
rm -f misc/deps/*/*.vo
$coqc -R misc/deps/A A misc/deps/A/A.v
$coqc -R misc/deps/B A misc/deps/B/A.v
$coqc -R misc/deps/B A misc/deps/B/B.v
$coqtop -R misc/deps/B A -R misc/deps/A A -load-vernac-source misc/deps/checksum.v
|