Newer
Older
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
# distribution version (native)
Install:true
Path: src/
BuildTools: ocamlbuild
BuildDepends: str,unix,num,rdbg-plugin,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,rdbg-plugin,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 ocaml
Modules: Lus2licRun
Path: src/
BuildTools: ocamlbuild
BuildDepends: str,unix,num,rdbg-plugin
Install:true
XMETAEnable: true
Erwan Jahier
committed
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 ?