summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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