Commit b48d5ee8 authored by erwan's avatar erwan

Add a lurette-nocaml directory, which mimich the behavior of 'rdbg -lurette'

with lustre-v6 and lutin rdbg-plugins statically linked.

Add rdbg as a submodule, to be able to share files in lurette-nocaml/src/
parent 0de5b1ba
......@@ -260,7 +260,6 @@ RUN_ME
README-*
LIMITATIONS.portage_scade
TODO.SCADEGUI
src
doc/lutin-tuto/mes_styles.css
doc/lutin-tuto/my-rdbg-tuning.ml
doc/lutin-tuto/theme-bigblow.setup
......
[submodule "rdbg"]
path = rdbg
url = https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg.git
OASISFormat: 0.4
Name: Lutin
Version: 2.48
Version: 2.49
Authors: Erwan Jahier, Pascal Raymond, Bertrand Jeannnet (polka), Yvan Roux
Maintainers: erwan.jahier@univ-grenoble-alpes.fr
License: CeCILL
......@@ -27,7 +27,7 @@ SourceRepository "master"
Executable lutin
Path: lutin/src
MainIs: main.ml
BuildDepends: str,unix,num,rdbg-plugin (>= 1.109),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl,gmp
BuildDepends: str,unix,num,rdbg-plugin (>= 1.170),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl,gmp
NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
Build: true
Install:true
......@@ -70,7 +70,7 @@ Executable lurette
Path: lurette-nocaml/src
MainIs: lurette.ml
BuildDepends: str,unix,num,dynlink,extlib,camlp4,lutils (>= 1.9),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl,gmp,rdbg-plugin,lustre-v6,lutin
NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
NativeOpt: rdbg4lurette.cmxa # for some reasons not recogniezd as a package
Install:true
CompiledObject: native
Install: true
......
../../rdbg/src/extTool.ml
\ No newline at end of file
../../rdbg/src/lucioleRun.ml
\ No newline at end of file
../../rdbg/src/lucioleRun.mli
\ No newline at end of file
../../rdbg/src/rdbgArg.ml
\ No newline at end of file
../../rdbg/src/rdbgRun.ml
\ No newline at end of file
../../rdbg/src/rdbgRun.mli
\ No newline at end of file
../../rdbg/src/rdbgWrapperArgs.ml
\ No newline at end of file
../../rdbg/src/rdbgWrapperArgs.mli
\ No newline at end of file
../../rdbg/src/rifRun.ml
\ No newline at end of file
../../rdbg/src/rifRun.mli
\ No newline at end of file
../../rdbg/src/stdioRun.ml
\ No newline at end of file
../../rdbg/src/stdioRun.mli
\ No newline at end of file
let str="2.48"
let sha="e74af2f"
let str="2.49"
let sha="0de5b1b"
Subproject commit 7f7bef617d29d50424af3fc42c65ad5ccec3f013
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment