aboutsummaryrefslogtreecommitdiff
path: root/ocaml_player.make
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-10 13:36:22 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-10 13:36:22 +0100
commit66bce7b52b8cc0b163e0dc16a5b6e8e97d916e4a (patch)
tree7161c063b77486f1ed924bad995a8dc0cbf18ce5 /ocaml_player.make
parentbcb124d26b40bd70fc22af49e4b7c994b37ee184 (diff)
downloadCompetIA-66bce7b52b8cc0b163e0dc16a5b6e8e97d916e4a.tar.gz
CompetIA-66bce7b52b8cc0b163e0dc16a5b6e8e97d916e4a.zip
Add Makefiles for players.
Diffstat (limited to 'ocaml_player.make')
-rw-r--r--ocaml_player.make11
1 files changed, 11 insertions, 0 deletions
diff --git a/ocaml_player.make b/ocaml_player.make
new file mode 100644
index 0000000..a7efc80
--- /dev/null
+++ b/ocaml_player.make
@@ -0,0 +1,11 @@
+
+all: player
+
+player: *.ml lib/*.ml
+ ocamlbuild $(NAME).native
+ cp $(NAME).native player
+ rm $(NAME).native
+
+clean:
+ rm -r _build
+ rm player