From c10bed2ad2054630d034380f1f32feee80a411b0 Mon Sep 17 00:00:00 2001 From: Erwan Jahier Date: Sun, 1 Dec 2019 22:13:17 +0100 Subject: [PATCH] Doc: Add a README.org and remove old oasis generated files --- README.org | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++ lutin.install | 2 ++ opam | 52 ------------------------------------------------ 3 files changed, 57 insertions(+), 52 deletions(-) create mode 100644 README.org delete mode 100644 opam diff --git a/README.org b/README.org new file mode 100644 index 0000000..a0c4488 --- /dev/null +++ b/README.org @@ -0,0 +1,55 @@ +Lutin: modeling stochastic reactive systems. + +Lutin is a language to model stochastic reactive systems. It has been +initially designed to model environments and perform automated testing of +reactive systems with Lurette. + + + +* Installing =lutin= via opam + +End users ougth to install =lutin= via opam. + +#+BEGIN_SRC sh +$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository" +$ opam update +$ opam install lutin +#+END_SRC + +* Installing =lutin= via pre-compiled binaries + +cf the Install section of http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/ + +* Installing the (git controlled) source + +You first need to install dune and gnu-make. To have all the necessary +dependencies, it migth help to use opam + +#+BEGIN_SRC sh +opam install lutils lutin +opam remove lutin +#+END_SRC + + +Then you should install lutils (either via opam or via the git repo) +https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils + +Then 'make' should build all the executables, 'make install' should +install everything, and 'make test' ougth to exit with a 0 return +code. + +#+BEGIN_SRC sh +opam install lutils extlib camlidl +git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/lutin.git +cd lutin +make +make install +make test +#+END_SRC + + +* Contribute + +To contribute, you need to create an account on https://gricad-gitlab.univ-grenoble-alpes.fr + +----- diff --git a/lutin.install b/lutin.install index 3673db5..7f00ebd 100644 --- a/lutin.install +++ b/lutin.install @@ -340,6 +340,8 @@ bin: [ ] doc: [ "_build/install/default/doc/lutin/LICENSE" + "_build/install/default/doc/lutin/README.md" + "_build/install/default/doc/lutin/README.org" "_build/install/default/doc/lutin/README.txt" ] stublibs: [ diff --git a/opam b/opam deleted file mode 100644 index f321cdd..0000000 --- a/opam +++ /dev/null @@ -1,52 +0,0 @@ -opam-version: "1.2" -maintainer: "erwan.jahier@univ-grenoble-alpes.fr" -authors: [ "Erwan Jahier" - "Pascal Raymond" - "Bertrand Jeannnet (polka)" - "Yvan Roux" ] -license: "CeCILL" -homepage: "http://www-verimag.imag.fr/Lutin.html" -dev-repo: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin.git" -bug-reports: "http://www-verimag.imag.fr/Lutin.html" -tags: [ "clib:stdc" "clib:camlidl" ] -build: [ - ["oasis" "setup"] - ["ocaml" "setup.ml" "-configure" "--prefix" prefix] - [make "build"] -] -install: [make "install"] -remove: [ - ["ocaml" "%{etc}%/lutin/setup.ml" "-C" "%{etc}%/lutin" "-uninstall"] -] -build-test: [ - ["oasis" "setup"] - ["ocaml" "setup.ml" "-configure" "--enable-tests"] - ["ocaml" "setup.ml" "-build"] - ["ocaml" "setup.ml" "-test"] -] -build-doc: [ "ocaml" "setup.ml" "-doc" ] -depends: [ - "base-bigarray" - "conf-gmp" - "conf-perl" {build} - "base-unix" {build} - "num" - "camlidl" - ("extlib" {build} | "extlib-compat" {build}) - "lustre-v6" - "lutils" {>= "1.9"} - "mlgmpidl" - ("oasis" {build & >= "0.4.7"} | "oasis-mirage" {build & >= "0.4.7"}) - "ocamlbuild" {build} - "ocamlfind" - "rdbg" {>= "1.170"} -] -available: [ ocaml-version >= "4.02" ] -depexts: [ - [ ["alpine" ] ["perl" "gmp-dev" "mpfr-dev" "m4"] ] - [ ["centos" ] ["perl" "gmp-devel" "mpfr-devel" "m4"] ] - [ ["debian" ] ["perl" "libgmp-dev" "libmpfr-dev" "m4"] ] - [ ["ubuntu" ] ["perl" "libgmp-dev" "libmpfr-dev" "m4"] ] - -] -post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "] -- GitLab