Commit c10bed2a authored by erwan's avatar erwan

Doc: Add a README.org and remove old oasis generated files

parent 45d9477d
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
-----
......@@ -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: [
......
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/ "]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment