Commit graph

5 commits

Author SHA1 Message Date
Adrien Guatto
834e16cad5 Fix: replace opt with native in build system 2012-03-07 17:48:30 +01:00
Cédric Pasteur
f4aafa10d6 Added a build system for Heptagon
./configure 
make
make install
2011-10-20 18:06:41 +02:00
Cédric Pasteur
134ab83b05 Fix the Makefile
It simply calls ocamlbuild.  We still need a way
to configure and install necessary files.
2011-07-27 09:12:09 +02:00
Léonard Gérard
fc39057230 Bug in the Makefile ? GENSOURCES removed from .depend dependencies. (circular issue)
FIXME Makefile to deal with the news files
2010-06-24 03:31:57 +02:00
Léonard Gérard
60a3ad15f8 move to subfolder compiler. 2010-06-21 11:58:57 +02:00
Renamed from Makefile (Browse further)