diff --git a/Parser.exe b/Parser.exe new file mode 100755 index 000000000..66f3a7131 Binary files /dev/null and b/Parser.exe differ diff --git a/dune b/dune index b24ea1181..44683b84d 100644 --- a/dune +++ b/dune @@ -23,6 +23,9 @@ ) ) +;; Les deux directives (rule) qui suivent sont pour le dev local. +;; Il suffit de faire "dune build Parser.exe" pour avoir un Parser.exe dans le dossier. +;; Pour le purger, il faut faire "dune clean". (rule (targets Parser.exe) (deps ParserMain.exe)