summaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-03-12 10:11:12 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-03-12 10:11:12 +0100
commitbfafa7dbc3325749358538a95cbb4831db66b03c (patch)
tree1eefa8d984472cb47f80b1ff1362c01675d0faa6 /src/Makefile
downloadSystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.tar.gz
SystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.zip
First commit
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