diff --git a/sasa.opam b/sasa.opam index 2d940345546c55a4c05b88ae50313791de545bc3..d1285910a785be2bd7228b26225f3743d84891e4 100644 --- a/sasa.opam +++ b/sasa.opam @@ -24,11 +24,9 @@ depends: [ "psq" "functory" "rdbg" { >= "1.194" } -] -depopts: [ "lustre-v6" "lutin" - ] +] build: ["make" "build"] install: ["dune" "install"] post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]