Commit 293b568c authored by erwan's avatar erwan
Browse files

Add a (CeCILL) LICENCE file

parent 1fbbf1c4
Pipeline #7101 passed with stages
in 3 minutes and 41 seconds
This diff is collapsed.
# Table of Contents
1. [Installing `lutils` via opam](#orgb3ef6f9)
2. [Installing the git source](#org0039a1a)
3. [Tests](#org5c141d9)
- [Installing `lutils` via opam](#orgf2ed44a)
- [Installing the git source](#org9fb132f)
- [Tests](#org42200a1)
- [Docker](#orgff88b30)
Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).
- The lutils ocaml library contains various modules shared between
tools. Those modules deal with:
- The lutils ocaml library contains various modules shared between tools. Those modules deal with:
- generate and parse RIF files
- generate dro files (to call luciole)
- `gnuplot-rif` is a stand alone executable that vizualises RIF files
using gnuplot.
- `gnuplot-rif` is a stand alone executable that vizualises RIF files using gnuplot.
<a id="orgb3ef6f9"></a>
<a id="orgf2ed44a"></a>
# Installing `lutils` via opam
$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install lutils
```sh
$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install lutils
```
<a id="org0039a1a"></a>
<a id="org9fb132f"></a>
# Installing the git source
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
cd lutils
mv Makefile.version.hide Makefile.version
make configure
make
```sh
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
cd lutils
mv Makefile.version.hide Makefile.version
make configure
make
```
<a id="org5c141d9"></a>
<a id="org42200a1"></a>
# Tests
make test
```sh
make test
```
<a id="orgff88b30"></a>
# Docker
nb: the content of this repo is also available via the `jahierwan/verimag-sync-tools` docker image
\ No newline at end of file
......@@ -18,8 +18,6 @@ $ opam install lutils
* Installing the git source
# docker run -i -t ocaml/opam:ubuntu
#+BEGIN_SRC sh
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
cd lutils
......@@ -34,4 +32,7 @@ make
make test
#+END_SRC
* Docker
nb: the content of this repo is also available via the
=jahierwan/verimag-sync-tools= docker image
......@@ -3,7 +3,7 @@ Name: lutils
Version: 1.39
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: GPL-3
License: CeCILL
Plugins: DevFiles (0.4), META (0.4)
Synopsis: Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Homepage: http://www-verimag.imag.fr/
......
\newcommand{\version}{1.39}
\newcommand{\sha}{aeef312}
\newcommand{\version}{1.40}
\newcommand{\sha}{1fbbf1c}
\newcommand{\versionname}{none}
\newcommand{\versiondate}{11-12-17}
\newcommand{\versiondate}{23-03-18}
(* setup.ml generated for the first time by OASIS v0.4.10 *)
(* OASIS_START *)
(* DO NOT EDIT (digest: 55e2fab71c23ab028d9f3a423aac5aa5) *)
(* DO NOT EDIT (digest: 63729d6c9e4d64de6f8abc89dea4c197) *)
(*
Regenerated by OASIS v0.4.10
Visit http://oasis.forge.ocamlcore.org for more information and
......@@ -6860,9 +6860,9 @@ let setup_t =
OASISLicense.DEP5License
(OASISLicense.DEP5Unit
{
OASISLicense.license = "GPL";
OASISLicense.license = "CeCILL";
excption = None;
version = OASISLicense.Version "3"
version = OASISLicense.NoVersion
});
findlib_version = None;
alpha_features = [];
......@@ -7254,7 +7254,7 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.10";
oasis_digest = Some "\219w\220\146Qp\241\205\2307)I\241\168\209\198";
oasis_digest = Some "\175B\201#!K\171\002\1373w~\138q5\"";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
......
let str="1.39"
let sha="aeef312"
let str="1.40"
let sha="1fbbf1c"
(* Time-stamp: <modified the 24/11/2017 (at 16:59) by Erwan Jahier> *)
(* Should rather be names misc or utils *)
(* Time-stamp: <modified the 13/04/2018 (at 10:19) by Erwan Jahier> *)
(* Should rather be named misc or utils *)
(* [string_to_string_list str] returns the list of substrings of
......
Supports Markdown
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