Support for -package and -dontlink in linking of output files (#38)
* Support -linkpkg, -package and -dontlink in compile command
* Remove default zarith linking in compile
* optimization option
* Update malfunction.opam
Remove unnecessary version field
---------
Co-authored-by: Yannick Forster <yannick.forster@inria.fr>
571cd8
-
Mar 14 17:30 +00:00