Support for -package and -dontlink in linking of output files

stedolan / malfunction

Malfunctional Programming

Other

336 stars 19 forks source link

Support for -package and -dontlink in linking of output files #38

Closed mattam82 closed 6 months ago

mattam82 commented 7 months ago

This adds a few options to drive the ocamlfind linking, especially useful in our implementation of the malfunction backend of the verified MetaCoq extraction (yforster/coq-malfunction#13). I'm not sure why you added a version: 0.5 in your commit, @yforster . Maybe we just remove it? I think otherwise it is ready for review @stedolan

yforster commented 6 months ago

Yes, you can remove the version field. @stedolan would you have time to merge this soon?

mattam82 commented 6 months ago

Done. @stedolan are you ok to merge?

stedolan commented 6 months ago

LGTM, thanks!