diff options
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 |