Building using Makefile fails

OUPL / MLCert

Certified Machine Learning

40 stars 4 forks source link

Building using Makefile fails #7

Closed wenkokke closed 4 years ago

wenkokke commented 4 years ago

The command make fails with the following error:

COQC learners.v
File "./learners.v", line 12, characters 15-28:
Error: Unable to locate library MLCert.monads.

make[1]: *** [learners.vo] Error 1
make: *** [all] Error 2

Edit: after running make clean the command now succeeds

bagnalla commented 4 years ago

Looks like it works after make clean.