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

Build: the sasa opam package does not depend on lablgtk3 anymore

Doc: mention the new rdbgui4sasa opam package
parent d321190c
No related branches found
Tags 4.2.5
No related merge requests found
Pipeline #46939 passed with stages
in 16 minutes and 2 seconds
......@@ -435,9 +435,15 @@ echo "\nl\nq\n" | rdbg | tail -n +21
#+RESULTS:
** A =rdbg=/=sasa= GUI
** A =rdbg= =sasa= GUI
cf https://verimag.gricad-pages.univ-grenoble-alpes.fr/vtt/articles/rdbgui4sasa/
#+BEGIN_SRC sh
opam depext -y rdbgui4ocaml
opam install -y rdbgui4ocaml
#+END_SRC
** Useful Modules
Some modules, used by the sasa core engine, can be useful from =rdbg=.
......@@ -521,11 +527,19 @@ opam update
opam upgrade
#+END_SRC
If you want to use the =rdbgui4sasa= Graphical User Interface:
#+BEGIN_SRC sh
opam depext -y rdbgui4sasa
opam install -y rdbgui4sasa
#+END_SRC
In order to be able to use =luciole= and =sim2chro=, you also need to
install the Lustre V4 distribution:
http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v4/distrib/index.html
** Via docker
cf the Docker Install section of the [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/#docker][Synchrone Reactive Tool Box]].
......
......@@ -23,7 +23,6 @@ depends: [
"dune" { >= "1.11" }
"ocamlgraph"
"lutils"
"lablgtk3"
"lustre-v6"
"lutin"
"rdbg" { >= "1.184" }
......
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