summaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile
new file mode 100644
index 0000000..ed9aa69
--- /dev/null
+++ b/src/Makefile
@@ -0,0 +1,19 @@
+OCAMLBUILD=ocamlbuild -classic-display \
+ -tags annot,debug,thread \
+ -libs unix
+TARGET=native
+
+primes:
+ $(OCAMLBUILD) primes.$(TARGET)
+
+example:
+ $(OCAMLBUILD) example.$(TARGET)
+
+
+clean:
+ $(OCAMLBUILD) -clean
+
+realclean: clean
+ rm -f *~
+
+cleanall: realclean