_oasis 4.37 KB
Newer Older
1
2
OASISFormat: 0.4
Name:        Lutin
erwan's avatar
erwan committed
3
Version:     2.40
4
5
6
Authors:     Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License:     PROP
erwan's avatar
erwan committed
7
Plugins:     DevFiles (0.4), META (0.4), StdFiles (0.4)
8
9
Synopsis:    Lutin: modeling stochastic reactive systems.
Homepage:    http://www-verimag.imag.fr/Lutin.html
10
OCamlVersion: >= 4.02
11
12
13
14
15
Description:
     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.
BuildTools: ocamlbuild
16
PreBuildCommand: make lutin/src/version.ml
17
18
19
20
21
22

#PreBuildCommand: make gen_version 

Executable lutin
  Path:   lutin/src
  MainIs: main.ml
erwan's avatar
erwan committed
23
  BuildDepends: str,unix,num,rdbg-plugin (>= 1.109),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl
24
  NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
25
26
27
28
29
30
31
32
33
  Build: true
  Install:true
  CompiledObject: native
  CClib: -lcamlidl

Library lutin
   XMETADescription: Provides an API to call Lutin from ocaml (and rdbg)
   Path:    lutin/src
   Modules: LutinRun
34
   BuildDepends: camlp4,lutin-utils,ezdl,gbddml,polka,camlidl,lutils
35
36
37
   Install:true
   CompiledObject: native
   XMETAEnable: true
38
   InternalModules: Auto2Lucky,AutoGen,Bddd,CheckEnv,CheckType,CkIdentInfo,CkTypeEff,CoAlgExp,CoIdent,CoTraceExp,Constraint,Draw,Exp,ExpEval,Expand,ExprUtil,FGen,Fair_bddd,Formula_to_bdd,GenOcamlGlue,Glue,Gne,Guard,Lexeme,LoopWeights,Luc2alice,Luc2c,LucFGen,Lucky,LutErrors,LutExe,LutLexer,LutParser,LutPredef,LutProg,LutVersion,MainArg,Ne,Parsers,Poly_draw,Polyhedron,Prevar,Prog,Reactive,Rif,Sol_nb,Solver,Store,Syntaxe,SyntaxeDump,Thickness,Type,Util,Utils,Value,Var,Verbose,Version
39
   DllLib: libgmp.so dllcamlidl.so
40
41


42
43
44
45
46
47
48
49
50
#Library lut4c
#  XMETADescription:  Calling Lutin from C XXX NOT WORKING 
#  Path:    lutin/src
#  Modules: Lut4c
#  FindlibParent: lutin
#  BuildDepends: str,unix,num,rdbg-plugin (>= 1.51),lutin-utils,ezdl,gbddml,polka,camlp4
#  Install: true
#  CSources: lut4c_stubs.h,lut4c_stubs.c
#  CCOpt: -fPIC 
51

52
53
54
55
Library "lutin-utils"
  XMETADescription: Some C functions used by the lutin runtime
  Path:    lutin-utils/src
  Modules: LutinUtils
56
  Install: true
57
  CSources: lutinUtils.h,lutinUtils_c.c,lutinUtils_stubs.c,myuid.h,myuid.c
58
  CCOpt: -fPIC -I$pkg_camlidl -I/usr/local/include/ 
59
60
61
62

Executable lurettetop_exe
  Path:       ltop/src
  MainIs:     lurettetop.ml 
63
  BuildDepends: num,str,unix,dynlink,lustre-v6,lutin,ezdl,gbddml,polka,camlp4,camlidl
64
  Build: true
65
  NativeOpt: -package dynlink # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
  Install:true
  CompiledObject: native
  CClib: -lcamlidl
  CCOpt: -fPIC 





Library ezdl
  XMETADescription:  ezdl: easy dynamic linking of C functions from ocaml 
  Path:    EZDL
  Modules: Ezdl
  Install: true
  CSources: Ezdl_c.c,Inspect_c.c
  CCOpt: -fPIC

erwan's avatar
erwan committed
83

84
85
86
87
88
89
Library gbddml
  XMETADescription:  gbddml: the Verimag bdd library
  Path:    gbddml
  Modules: Bdd
  Install: true
  CSources: gbdd_cml.c, gbdd.c, gbdd.h
Erwan Jahier's avatar
Erwan Jahier committed
90
  CCOpt: -x c++ -g -O2 -fno-operator-names -fPIC -I$pkg_camlidl
91
92
93
94
95
96
97
98
99
100
101
102
103
104
  CClib: -lstdc++ 

Library polka
  XMETADescription:  polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
  Path:    polka
  Modules: Polka,PolkaIO,Vector,Matrix,Poly,Polka_parser,Polka_lexer
  BuildDepends: gmp
  Install: true
  CSources: pkint.h, config.h,
            polka.h, internal.h, bit.h, satmat.h, cherni.h,
            vector.h, matrix.h, poly.h, polka_caml.h,
            polka_c.c, internal.c, bit.c, satmat.c, cherni.c,
            vector_c.c, matrix_c.c,  poly_c.c,
            vector_caml.c, matrix_caml.c, poly_caml.c, polka_caml.c
105
  CCOpt: -O3 -fPIC -DPOLKA_NUM=3  -I$pkg_camlidl -I/usr/local/include/ 
106
  DllLib: libgmp.so dllcamlidl.so
107
108
109
110
111
112
113



# should be part of rdbg?
Executable "check-rif"
  Path:       ltop/src 
  MainIs:     checkRif.ml
114
  BuildDepends: num,str,unix,lutils,ezdl,lustre-v6
115
  NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
116
117
118
119
  Build: true
  Install:true
  CompiledObject: native
  CCOpt: -fPIC
120
121
122

Executable "call-via-socket"
  Path:       ltop/src 
123
  MainIs:     call_via_socket.ml
124
125
126
127
  BuildDepends: str,unix
  Build: true
  Install:true
  CompiledObject: native
128
129
130
131
132
133
134
135
136
137
138
139

# XXX not working
Document "lutin-man.pdf"
  Title:  Lutin language reference manual
  Type: custom (0.4)
  DataFiles: doc/lutin-man/lutin-man.pdf
  XCustom: make 
  InstallDir: $docdir
  Build: true
  Install: true
  BuildTools: make		
  XOCamlbuildPath: doc/lutin-man