summaryrefslogtreecommitdiff
path: root/magic.txt
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-11-29 23:30:48 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2010-11-29 23:30:48 +0100
commit1aa8b6f6a876af22f538c869f022bc4ca5986b40 (patch)
tree037f0286a86b2bcee9bfa08f00112005a71e0e18 /magic.txt
Imported Upstream version 0.1-r13244upstream/0.1-r13244
Diffstat (limited to 'magic.txt')
-rw-r--r--magic.txt4
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