diff options
Diffstat (limited to 'magic.txt')
-rw-r--r-- | magic.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/magic.txt b/magic.txt new file mode 100644 index 0000000..d0272c3 --- /dev/null +++ b/magic.txt @@ -0,0 +1,4 @@ +-custom "mkdir -p doc; $(CAMLBIN)ocamldoc -html -rectypes -d doc -m A $(ZDEBUG) $(ZFLAGS) $^ && touch doc" "$(MLIFILES)" doc +-custom "$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -shared -linkall -o aac_tactics.cmxs $(CMXFILES)" "$(CMXFILES)" aac_tactics.cmxs +-custom "$(CAMLLINK) -g -a -o aac_tactics.cma $(CMOFILES)" "$(CMOFILES)" aac_tactics.cma +-custom "$(CAMLBIN)ocamldep -slash $(OCAMLLIBS) $^ > .depend" "$(MLIFILES)" .depend |