Skip to content
Snippets Groups Projects
Commit 5a09734b authored by erwan's avatar erwan
Browse files

build: enhance opam file

parent 286b5c1a
No related branches found
No related tags found
No related merge requests found
......@@ -28,4 +28,5 @@ depopts: [
"lustre-v6"
"lutin"
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment