Skip to content
Snippets Groups Projects
Commit 45a90e87 authored by erwan's avatar erwan
Browse files

build: lutin is actually not mandatory to use sasa

parent e7044db0
No related branches found
No related tags found
No related merge requests found
Pipeline #179783 failed
......@@ -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/ "]
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