_oasis

OASISFormat: 0.3
Name:        lus2lic
Version:     1
Synopsis:    The Lustre V6 compiler
Authors:     Erwan Jahier and Pascal Raymond
License:     PROP
Plugins:     DevFiles (0.3), META (0.3), StdFiles (0.3)
Synopsis:    The Lustre V6 Verimag compiler and interpreter
Homepage:    http://www-verimag.imag.fr/lustre-v6.html
BuildTools: ocamlbuild


Executable lus2lic
  Install:true
  Path:       src/
  MainIs:     main.ml
  BuildTools: ocamlbuild 
  BuildDepends: str,unix,num,rdbg-plugin
  Build:true
  CompiledObject: native
#  CompiledObject: byte

# to use ocamldebug:
#  - here: set CompiledObject from native to byte
#  - from emacs: [M-x ocamldebug] ./main.byte
#  - from ocamldebug prompt: 
#      cd test
#      set arg blabla
#      dir ~/lus2lic/src ~/lus2lic/ ~/lus2lic/_build/src  /usr/local/soft/ocaml/4.01.0/lib/ocaml/rdbg-plugin/


Library lus4ocaml
  Modules:    Lus2licRun
  Path:       src/
  BuildTools: ocamlbuild 
  BuildDepends: str,unix,num,rdbg-plugin
  Install:true
  XMETAEnable: true
  XMETADescription: an API to call the Lustre v6 interpreter from ocaml
  InternalModules: SocExecValue,SocUtils,Lv6util,Lv6version,Lv6errors,Lxm,Lv6MainArgs,Verbose,Soc,SocPredef,Ident,SocExec,SocExecEvalPredef,Compile,AstTab,AstTabSymbol,AstInstanciateModel,Lv6parserUtils,AstV6,FilenameExtras,LicTab,LicDump,AstPredef,Lic,AstCore,LicName,IdSolver,EvalConst,LicEvalConst,LicEvalType,UnifyType,Ast2lic,AstV6Dump,EvalClock,UnifyClock,LicEvalClock,EvalType,LicPrg,LicMetaOp,L2lCheckOutputs,Misc,L2lRmPoly,L2lExpandMetaOp,L2lSplit,L2lExpandNodes,L2lExpandArrays,L2lCheckLoops,Lv6lexer,Lv6parser,AstRecognizePredef,Lic2soc,ActionsDeps,SocVar
# Comment se passer de cette liste à la Prevert ?