Add options --pre-depend and --infer-output MLIFILE (!1) · Merge requests · POTTIER Francois / menhir · GitLab

Mentions légales du service

La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656

Dans le cadre des maintenances programmées des instances Gitlab Inria, lundi 06 janvier 2025 le service Gitlab externe sera mis à jour. Le service sera indisponible quelques minutes dans la plage horaire 9h-13h. Nous communiquerons sur l'avancement de la MAJ sur le canal Mattermost: https://mattermost.inria.fr/devel/channels/gitlab Nous vous recommandons de pas travailler sur la plateforme avant qu'une annonce sur le serveur ne vous indique la fin de la maintenance.

LE FESSANT Fabrice requested to merge lefessan/menhir:2017-10-31-infer into master Oct 31, 2017

Add option --pre-depend to stop after generating an ML grammar file and an MLI interface to be used by ocamldep
Add option --infer-output MLIFILE to be used in combination with --infer to use as output instead of calling ocamlc. This MLIFILE can be generated by compiling the ML file (without the MLI) generated by --pre-depend.

These options can be combined to completely avoid calling ocamlc and ocamldep within menhir.