diff --git a/sasa.opam b/sasa.opam index e687b49a590d72a1ffe3dadadb66c4d28cb4606b..e81f7ffef223dfed038475f0759aed9b78305da5 100644 --- a/sasa.opam +++ b/sasa.opam @@ -26,9 +26,11 @@ depends: [ "functory" "rdbg" { >= "1.200" } "lustre-v6" +] +depopts: [ + "ledit" "lutin" ] -# depopts: [ "ledit" ] 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/ "]