summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 23:21:52 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 23:21:52 +0100
commit1c2be950066c7d835df2db1c6345344e592012cc (patch)
tree9fb02cc9125ccfbd5e44e37492599d996f0e86c3
parent07c6285fe425f1ec3388bd73bb26e5480c06cca1 (diff)
downloadpetitcaml-1c2be950066c7d835df2db1c6345344e592012cc.tar.gz
petitcaml-1c2be950066c7d835df2db1c6345344e592012cc.tar.bz2
[petitcaml] Fix Makefile and add release target
-rw-r--r--Makefile10
1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 16228ab..cfe5ca0 100644
--- a/Makefile
+++ b/Makefile
@@ -33,10 +33,18 @@ $(BIN):$(CMI) $(CMO)
.mly.mli:
ocamlyacc -v $<
+release:
+ rm -rf seguin
+ mkdir -p seguin
+ git archive HEAD | tar -xC seguin
+ make --directory=seguin
+ make --directory=seguin clean
+ tar -cxf seguin.tgz seguin
+
clean:
rm -f *.cm[io] *.o *~ $(BIN) $(GENERATED) parser.output
-.depend depend:$(CMO_DEP) $(CMI) $(GENERATED)
+.depend depend:$(CMI) $(CMO_DEP) $(GENERATED)
rm -f .depend
ocamldep *.ml *.mli > .depend