99460e24e5
Remove broken Python bit from heptc script
6 years ago
0afdb16c57
Requalify enumeration types only when exporintg to Controllable-Nbac.
10 years ago
10bdab4dc6
Exclusively use ocamlfind; source documentation generation.
...
- Stripped portions of `myocamlbuild{,_config}.ml' that seem useless
when `-use-ocamlfind' is passed to ocamlbuild.
- Added some code in `myocamlbuild_config.ml' to be able to generate
documentation by merging interface and implementation files.
11 years ago
b00eab153c
heptc script: compile C code in addition to Java.
12 years ago
a1ba01ab90
Heptc: keep the native compiler when it is already compiled.
13 years ago
f077d41e09
Fixed heptc to work under MacOSX without depending on GNU coreutils.
13 years ago
18a6835b9a
improve heptc java handling
13 years ago
38933a789a
small fixes
13 years ago
442f38b196
stronger heptc and clean_heptc
...
It may be symlinked.
Moreover, when heptc is called with java as first param, it will set the
right target and call javac right after
13 years ago
a519afe631
heptc script fix
13 years ago
4794045208
Reworked Obc AST: from right patterns to extvalues.
...
I introduced a notion of extended values in Obc expressions,
replacing the Epattern constructor. Patterns may now only
occur at their rightful place, on the left of an assignment.
This change allows to index global constant arrays.
13 years ago
fd0b3efd2c
Fixed helper scripts.
13 years ago
b8b16a7355
blop
13 years ago
e2cbf7f56f
Heptc updated with new heptc behavior.
14 years ago
a54e570d0f
Hept Scoping should be ok and documented,
...
Hept Parsing too,
all the reset to review carefully,
Typing to cut from all the scoping.
14 years ago
1ef11939d2
Heptc wrapper fix.
14 years ago
0fdea7fbd7
Use -j 0 in heptc wrapper.
14 years ago
5e737d0094
location change. Heptc works with menhir.
14 years ago
0c5a8d8ffe
compilers refactoring. and bug fix of heptc vs heptcheck.
14 years ago
b595dee62f
Small usefull heptc wrapper.
14 years ago
Adrien Guatto
Nicolas Berthier
Adrien Guatto
Léonard Gérard