diff options
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 19 |
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 |