diff --git a/guides/users/README.org b/guides/users/README.org index f100e3f75b7077dba21ea1f477ff56647d15776d..bbba83251f2e87186eb9cccc91afa8a8d8147241 100644 --- a/guides/users/README.org +++ b/guides/users/README.org @@ -591,20 +591,43 @@ cf the Docker Install section of the [[http://www-verimag.imag.fr/DIST-TOOLS/SYN You will need: - =make= (gnu) -- a set of tools installable via [[https://opam.ocaml.org/][opam]] +- =git= +- =graphviz= +- =lablgtk3= +- =opam= + +For instance, on ubuntu, +#+BEGIN_SRC sh +apt install graphviz git make lablgtk3 opam +#+END_SRC + +And of course you need =ocaml=. +And a set of tools installable via [[https://opam.ocaml.org/][opam]] - =dune= - =ocamlgraph= - =rdbg= - =lutin= (not for compiling actually, but for using sasa with custom daemons) +Hence, once =opam= is installed, one just need to: + #+BEGIN_SRC sh -opam install dune ocamlgraph rdbg lutin +opam install dune ocamlgraph ocamlfind rdbg lutin lustre-v6 #+END_SRC +And then: +#+BEGIN_SRC sh +git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git +cd sasa +make +make install +make test +#+END_SRC -One can mimick the content of the =test= job in the project +One can also mimic the content of the =test= job in the project [[sasa:.gitlab-ci.yml][.gitlab-ci.yml Gitlab CI script]]. + + * More - Releases Notes: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/releases diff --git a/rdbgui4sasa.opam b/rdbgui4sasa.opam index 67e0ef09cbf360962b16a3b2153a7fde9c36e092..4f95c8959d7aa7fa9877975a6f3f711f8afd6fff 100644 --- a/rdbgui4sasa.opam +++ b/rdbgui4sasa.opam @@ -16,10 +16,10 @@ bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sas build: [make "build"] install: [make "install"] depends: [ - "ocaml" { >= "4.02" } - "ocamlfind" - "dune" { >= "1.11" } "lablgtk3" "sasa" ] +depexts: [ + ["graphviz" "emacs" "gnuplot" "zathura"] +] post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]