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

build: should not depend on emacs

parent 00fd74db
No related branches found
No related tags found
No related merge requests found
Pipeline #122193 failed
...@@ -23,6 +23,7 @@ build: ["dune" "build"] ...@@ -23,6 +23,7 @@ build: ["dune" "build"]
install: ["dune" "install"] install: ["dune" "install"]
post-messages: post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/" "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
depexts: ["graphviz" "emacs" "gnuplot" "zathura"] depexts: ["graphviz" "gnuplot"]
# depexts: ["graphviz" "emacs" "gnuplot" "zathura"]
dev-repo: dev-repo:
"git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git" "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
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