diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 98262de..0000000 --- a/Makefile +++ /dev/null @@ -1,32 +0,0 @@ -OCAMLC=ocamlc.opt -OCAMLOPT=ocamlopt.opt -OCAMLDEP=ocamldep.opt -INCLUDES= -OCAMLFLAGS=$(INCLUDES) -SRCS=game.ml ltg.ml -BUILDDIR= -DEPEND=.depend - -all: ltg.opt - -ltg.opt: ltg.cmx - $(OCAMLOPT) $(OCAMLFLAGS) -o ltg game.cmx ltg.cmx - -clean: - rm -f *.cm? *.cmx? *.o *~ - rm -f .depend - -depend: $(SRCS) - $(OCAMLDEP) $(SRCS) > $(DEPEND) - -.SUFFIXES: .mli .ml .cmo .cmi .cmx - -%.cmo : %.ml - $(OCAMLC) -c $(OCAMLFLAGS) $< -%.cmi : %.mli - $(OCAMLC) -c $(OCAMLFLAGS) $< -%.cmx : %.ml - $(OCAMLOPT) -c $(OCAMLFLAGS) $< - --include $(DEPEND) - |