OASISFormat: 0.4
Name:        lustre-v6
Version:     1.726
Synopsis:    The Lustre V6 Verimag compiler
Description: This package contains:
 - lus2lic: the (current) name of the compiler (and interpreter via -exec)
 - the lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter from ocaml
 - the lustre-v6 rdbg plugin: allows to debug Lustre v6 program wth rdbg
Authors:     Erwan Jahier and Pascal Raymond
Maintainers: erwan.jahier@univ-grenoble-alpes.fr
License:     PROP
Plugins:     DevFiles (0.3), META (0.3), StdFiles (0.3)
OCamlVersion: >= 4.02
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] ~/lus2lic/_build/src/main.byte
#  - from ocamldebug prompt: 
#      cd test
#      set arg blabla
#      dir ~/lus2lic/src ~/lus2lic/ ~/lus2lic/_build/src ~/rdbg/src ~/rdbg/_build/src ~/lutils/src ~/lutils/_build/src


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 (>= 1.109) 
  Install:true
  XMETAEnable: true
  InternalModules: SocExecValue,SocUtils,Lv6util,Lv6version,Lv6errors,Lxm,Lv6MainArgs,Lv6Verbose,Soc2cIdent,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,TopoSort,SortActions,SortActionsExpe,L2lCheckCKeyWord,L2lCheckKcgKeyWord,L2lWhenOnId,L2lNoWhenNot,L2lRemoveAlias,L2lExpandEnum
# Comment se passer de cette liste à la Prevert ?