Ast_smtlib missing in mlpack

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

BSD 2-Clause "Simplified" License

80 stars 17 forks source link

Closed anmaped closed 6 years ago

anmaped commented 6 years ago

Some issues I have detected when trying to use dolmen.

Error: Signature mismatch:
       ...
       Unbound module type Ast_smtlib.Id
Command exited with code 2.

Fix: Add Ast_smtlib in dolmen.mlpack.

Missing cmx for native compilation. Fix: Append $(addsuffix .cmx, $(NAME)) to the Makefile in the var TO_INSTALL_LIB

Gbury commented 6 years ago

Good catch, thanks ! Will fix that as soon as possible.

Gbury commented 6 years ago

Can you confirm that the problems disappear with the latest commit ? (just opam pin add --dev-repo dolmen).

anmaped commented 6 years ago

You can close it. It's fixed.