Open dsheets opened 9 years ago
File "_none_", line 1:
Error: The files ../../stdlib/pervasives.cmi and ../../utils/misc.cmi
make inconsistent assumptions over interface Pervasives
make[3]: *** [dynlinkaux.cmo] Error 2
make[2]: *** [otherlibraries] Error 2
make[1]: *** [all] Error 2
make: *** [world] Error 2
Getting the compiler to bootstrap with -doc
(what, I assume, is the root of this issue) is the next highest priority after #35.
Perhaps I've missed something but this doesn't currently seem possible due to errors regarding mismatched interfaces.