Adjust makefile and build instructions to platform supplied compcert, flocq, ...#406
Merged
andrew-appel merged 6 commits intoPrincetonUniversity:masterfrom MSoegtropIMC:platform-buildJul 9, 2020
+1,366-220
Commits
Commits on Jul 9, 2020
- committed
- committed
- committed
- committed
- committed
- committed
