_oasis 1.47 KB
Newer Older
1
2
OASISFormat: 0.4
Name:        lutils
3
Version:     1.48.1
4
5
Authors:     Erwan Jahier
Maintainers: erwan.jahier@imag.fr
erwan's avatar
erwan committed
6
License:     CeCILL
7
8
Plugins:     DevFiles (0.4), META (0.4)
Synopsis:    Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
erwan's avatar
erwan committed
9
Homepage:    https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/
10
Description: 
Erwan Jahier's avatar
Erwan Jahier committed
11
12
13
14
15
16
17
    The gnuplot-rif tool vizualise RIF files using gnuplot.

    The lutils library contains various modules shared between tools developped 
    at Verimag in the synchronous group. Those modules deal with:
     - generate and parse RIF files
     - generate dro files (to call luciole) 

18
19
BuildTools: ocamlbuild
PreBuildCommand: make src/lutilsVersion.ml
20
OCamlVersion: >= 4.02
erwan's avatar
erwan committed
21
PostInstallCommand:  cp emacs/*.el $prefix/lib/$pkg_name
22

23

24
25
26
27
# A simple data visualiser based on gnuplot
Executable "gnuplot-rif"
  Path:       src
  CompiledObject: native
28
  MainIs:     gnuplotRifMain.ml
29
30
31
32
33
34
35
36
  BuildDepends: unix,str,camlp4,num
  CompiledObject: native
  Install: true


Library lutils
  XMETADescription: shared by Verimag/synchronous tools (lustre, lutin, rdbg).
  Path: src/
Erwan Jahier's avatar
Erwan Jahier committed
37
38
  BuildDepends: unix,str,camlp4,num
  Modules: RifIO,Data,LocalGenlex,GnuplotRif,Mypervasives,Luciole,LutilsVersion
39
40
  Install: true
  XMETAEnable: true
41
42
43

SourceRepository "master"
  Type: git
44
  Location: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils.git 
45
  Branch: master
erwan's avatar
erwan committed
46
  Browser:  https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/