7abe92dc0d
Adapt to new interface of reatk.ctrlNbac (≥ 0.14)
6 years ago
15b2c09425
Adapt to new interface of reatk.ctrlNbac (≥ 0.11)
7 years ago
65908e7ca3
New configure script options to enable/disable byte/native targets
9 years ago
c5c5654068
Added bzreax script ; added uninstall target in Makefiles
9 years ago
0afdb16c57
Requalify enumeration types only when exporintg to Controllable-Nbac.
10 years ago
8551a91a05
Fix configure script for optional compilation of `ctrl2ept'.
10 years ago
bc17d71e3f
New tool `ctrl2ept' for translating ReaX's output functions into Heptagon
...
Compilation of the tool is dependent on the presence of the
`reatk.ctrlNbac' library.
10 years ago
541dd83fca
Optional compilation of Controllable-Nbac-related modules and tools.
10 years ago
3b27de8146
Configure script now checks for `reatk.ctrlnbac' package.
10 years ago
971f622ea3
Added test of camlp4of in configure script
11 years ago
5b1784957f
Makefile-distrib update
...
Makefile-distrib: include install-sh script in source distribution
(mandatory for autoconf).
Enable simulator by default (for automatic builds on pipol: some ctest
versions does not allow options passing to configure scripts).
11 years ago
165ff8d7fa
configure script: SET_MAKE handling
...
Change MAKE=@MAKE@ --> @SET_MAKE@
11 years ago
c26644791b
Fix local stdlib mode
...
Use absolute dir
13 years ago
8644982593
Fixed some bugs in the configure
...
Check that ocamlc and ocamlfind point to the
same stdlib dir.
13 years ago
8b1f4bbe87
Build system: properly install pervasives.h.
13 years ago
14e7c21e54
Small corrections + missing files
13 years ago
f4aafa10d6
Added a build system for Heptagon
...
./configure
make
make install
13 years ago
Nicolas Berthier
Gwenaël Delaval
Nicolas Berthier
Cédric Pasteur
Adrien Guatto