_oasis

OASISFormat: 0.4
Name:        lustre-v6
Version:     1.634
Synopsis:    The Lustre V6 Verimag compiler
Description: This package contains:
             - lus2lic: the (current) name of the compiler (and interpreter via -exec).
             - lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter 
               from rdbg (and ocaml as a side effect) 
Authors:     Erwan Jahier and Pascal Raymond
Maintainers: erwan.jahier@imag.fr
License:     PROP
Plugins:     DevFiles (0.3), META (0.3), StdFiles (0.3)
Homepage:    http://www-verimag.imag.fr/lustre-v6.html
BuildTools: ocamlbuild

# distribution version (native)
Executable lus2lic
  Install:true
  Path:       src/
  MainIs:     main.ml
  BuildTools: ocamlbuild 
  BuildDepends: str,unix,num,lutils,extlib
  Build:true
  CompiledObject: native

# debug-able version (bytecode)
Executable "lus2lic.dbg"
  Install:false
  Path:       src/
  MainIs:     main.ml
  BuildTools: ocamlbuild 
  BuildDepends: str,unix,num,lutils,extlib
  Build:true
  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  /home/jahier/.opam/4.02.1+PIC/lib/rdbg-plugin/


Library "lustre-v6"
  XMETADescription: an API to call the Lustre v6 interpreter from rdbg (and ocaml as a side effect)
  Modules:    Lus2licRun
  Path:       src/
  BuildTools: ocamlbuild 
  BuildDepends: str,unix,num,rdbg-plugin
  Install:true
  XMETAEnable: true
  InternalModules: SocExecValue,SocUtils,Lv6util,Lv6version,Lv6errors,Lxm,Lv6MainArgs,Lv6Verbose,Soc,SocPredef,Lv6Id,SocExecDbg,SocExec,SocExecEvalPredef,Lv6Compile,AstTab,AstTabSymbol,AstInstanciateModel,Lv6parserUtils,AstV6,FilenameExtras,LicTab,LicDump,AstPredef,Lic,AstCore,FreshName,IdSolver,EvalConst,LicEvalConst,LicEvalType,UnifyType,Ast2lic,AstV6Dump,EvalClock,UnifyClock,LicEvalClock,EvalType,LicPrg,LicMetaOp,L2lCheckOutputs,Lv6Misc,L2lRmPoly,L2lExpandMetaOp,L2lSplit,L2lExpandNodes,L2lExpandArrays,L2lCheckLoops,L2lCheckMemSafe,L2lOptimIte,Lv6lexer,Lv6parser,AstRecognizePredef,Lic2soc,Action,ActionsDeps,SocVar,SortActions,SortActionsExpe,L2lCheckKcgKeyWord
# Comment se passer de cette liste à la Prevert ?