diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-11-10 13:36:22 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-11-10 13:36:22 +0100 |
commit | 66bce7b52b8cc0b163e0dc16a5b6e8e97d916e4a (patch) | |
tree | 7161c063b77486f1ed924bad995a8dc0cbf18ce5 /ocaml_player.make | |
parent | bcb124d26b40bd70fc22af49e4b7c994b37ee184 (diff) | |
download | CompetIA-66bce7b52b8cc0b163e0dc16a5b6e8e97d916e4a.tar.gz CompetIA-66bce7b52b8cc0b163e0dc16a5b6e8e97d916e4a.zip |
Add Makefiles for players.
Diffstat (limited to 'ocaml_player.make')
-rw-r--r-- | ocaml_player.make | 11 |
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 |