From 9f2dcdba17e6496c82fa45464865f617016db226 Mon Sep 17 00:00:00 2001 From: gfngfn Date: Sun, 5 Jul 2015 05:01:04 +0900 Subject: [PATCH] modified Makefile for ocamlopt --- .gitignore | 2 ++ Makefile | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 0fbea1643..b685875cc 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,7 @@ *.cmi *.cmo +*.cmx +*.o *.exe *.html *.tex diff --git a/Makefile b/Makefile index 2e383913d..f947b1d03 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ parser.mli parser.ml: parser.mly types.cmo: $(SRCS) ocamlc -c $^ $(TARGET): $(SRCS) - ocamlc -o $(TARGET) $^ + ocamlopt -o $(TARGET) $^ clean: rm -f $(TARGET)