diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-10 20:19:38 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-10 20:28:35 +0200 |
| commit | 506b01f6fd4f8f41855676a1bf97036227d1f4a6 (patch) | |
| tree | 80d4acee2f5c6d416c438ca582dfb37ce8bcf8f5 /GNUmakefile | |
| parent | 00c8713ceb36cbd46d63b7ac72a70850cf8715fb (diff) | |
Import of the private version
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 0000000..13f3608 --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,7 @@ +CFLAGS+= -Wall -Werror -D_GNU_SOURCE -std=c99 +CSRC= helpers.c +PKG= bigarray compiler-libs.bytecomp compiler-libs.common +PKG+= compiler-libs.toplevel +PROG= tamasheq + +include ostumake/gnu.ocaml.prog.mk |