_oasis 5.38 KB
Newer Older
1
OASISFormat: 0.4
2
Name:        lutin
3
Version:     2.70.2
4 5 6
Authors:     Erwan Jahier, Pascal Raymond, Bertrand Jeannnet (polka), Yvan Roux
Maintainers: erwan.jahier@univ-grenoble-alpes.fr  
License:     CeCILL
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 23
SourceRepository "master"
  Type: git
  Location: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin.git 
  Browser:  https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin


24 25 26 27 28
#PreBuildCommand: make gen_version 

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

36 37 38
Executable "lutin.dbg"
  Path:   lutin/src
  MainIs: main.ml
39
  BuildDepends: str,unix,num,rdbg-plugin (>= 1.177),lutin-utils,ezdl,gbddml,polka,camlidl,gmp
40 41 42 43 44 45 46 47 48 49 50 51 52 53
  NativeOpt: -w A -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
  Build: true
  Install:false
  CompiledObject: byte
  CClib: -lcamlidl
# to use ocamldebug:
#  - here: set CompiledObject from native to byte
#  - from emacs: [M-x ocamldebug] ~/lus2lic/_build/src/main.byte
#  - from ocamldebug prompt: 
#      cd test
#      set arg blabla
#      dir ~/lurette/lutin/src ~/lurette/_build/src ~/rdbg/src ~/rdbg/_build/src ~/lutils/src ~/lutils/_build/src


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

Erwan Jahier's avatar
Erwan Jahier committed
65 66 67 68
Library bddrand
   XMETADescription: A simple front-end to the lutin Random toss machinary
   Path:    lutin/src
   Modules: BddRandom,Dimacs
69
   BuildDepends: lutin-utils,ezdl,gbddml,bigarray,polka,camlidl,lutils
Erwan Jahier's avatar
Erwan Jahier committed
70 71 72 73 74 75
   FindlibParent:	lutin
   Install:true
   CompiledObject: native
   XMETAEnable: true
   DllLib: libgmp.so dllcamlidl.so

76

77 78 79 80 81
#Library lut4c
#  XMETADescription:  Calling Lutin from C XXX NOT WORKING 
#  Path:    lutin/src
#  Modules: Lut4c
#  FindlibParent: lutin
82
#  BuildDepends: str,unix,num,rdbg-plugin (>= 1.51),lutin-utils,ezdl,gbddml,polka
83 84 85
#  Install: true
#  CSources: lut4c_stubs.h,lut4c_stubs.c
#  CCOpt: -fPIC 
86

87 88 89 90
Library "lutin-utils"
  XMETADescription: Some C functions used by the lutin runtime
  Path:    lutin-utils/src
  Modules: LutinUtils
91
  Install: true
92
  CSources: lutinUtils.h,lutinUtils_c.c,lutinUtils_stubs.c,myuid.h,myuid.c
93
  CCOpt: -fPIC -I$pkg_camlidl -I/usr/local/include/ 
94

95 96 97 98 99
# mimick the behavior of 'rdbg -lurette', but without the dependency on ocaml
# The drawback is that the lutin and lustre lib are statically part of it
Executable lurette
  Path:       lurette-nocaml/src
  MainIs:     lurette.ml
100
  BuildDepends: str,unix,num,dynlink,extlib,lutils (>= 1.9),lutin-utils,ezdl,gbddml,polka,camlidl,gmp,rdbg-plugin (>= 1.177),lustre-v6,lutin
101
  NativeOpt: rdbg4lurette.cmxa # for some reasons not recognized as a package
102 103 104 105 106
  Install:true
  CompiledObject: native
  Install: true
  CClib: -lcamlidl

107

erwan's avatar
erwan committed
108
# should be moved to lutils
109 110 111 112 113 114 115 116
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
117
# should be moved to lutils
118 119 120 121 122 123
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
124
  CCOpt: -x c++ -g -O2 -fno-operator-names -fPIC -I$pkg_camlidl
125 126
  CClib: -lstdc++ 

erwan's avatar
erwan committed
127

128 129 130 131
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
132
  BuildDepends: num,gmp # actually it is named mlgmpidl in opam
133 134 135 136 137 138 139
  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
140
  CCOpt: -O3 -fPIC -DPOLKA_NUM=3  -I$pkg_camlidl -I/usr/local/include/ 
141
  DllLib: libgmp.so dllcamlidl.so
142 143


144 145 146 147 148 149 150 151 152 153 154
# 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