diff --git a/sasa.opam b/sasa.opam index dec92ebef7f8aa99284cf184e7f155f54a3e2bfa..d28b03accf32235eab9cd71550eb797401bfc988 100644 --- a/sasa.opam +++ b/sasa.opam @@ -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/ "]