Commits

Jelle Herold  committed ea78b2c

Fixed building of coqdep (thanks to Miroslav Dobsicek)

  • Participants
  • Parent commits ad725b5

Comments (0)

Files changed (1)

 patch -p0 < patches/grayson-fix-infinite-loop.patch 
 patch -p0 < patches/grayson-improved-abstraction-version2-8.3pl2.patch 
 patch -p0 < patches/grayson-closedir-after-opendir.patch 
-time make GOTO_STAGE=2 coqbinaries states
+#time make GOTO_STAGE=2 coqlight states
+time make GOTO_STAGE=2 coqbinaries states tools
+sed -i "584d" coq-8.3pl2/Makefile.build
 time make install .