GitLab

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

Add rdbg as a submodule, to be able to share files in lurette-nocaml/src/

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

Add rdbg as a submodule, to be able to share files in lurette-nocaml/src/

find where lib are installed (work both on system and custom opam)

I used to patch camlidl and put it in my local opam repo, by that was a terrible idea.

Add a CI pipeline

Basically, I have added the missing fields

I migth change the operator priority later on.

also, add -I/usr/local/include/ in CCOpt oasis rules for packages
that depend on gmp, as darwin can not find headers in this dir
(bouh).  There is probably a better way to turn arouns that, but...

It was avoiding to override the file somefile.rif by creating a
somefile-i.rif; but practice, it appears to be very cumbersome.

Print the seed when used from a RdbgPlugin

Rework the lutin tutorial.

I'm pretty sure this used to be supported. Why did I remove it?
unfortunately, the ne.ml file was not tracked by git (and by mistake)
at this time.

also, begin to replace lurettetop by rdbg -lurette in tests

- fix the column number (was the char number in the file)
- fix the depth of exit events

+ fix the test breaks caused by previous commits (seed)

Also, install the manual in the lib install directory.

Indeed, "opam install camlidl" does put dllcamlidl.so into stublibs.