diff options
author | Guillaume Seguin <guillaume@segu.in> | 2009-01-15 23:21:52 +0100 |
---|---|---|
committer | Guillaume Seguin <guillaume@segu.in> | 2009-01-15 23:21:52 +0100 |
commit | 1c2be950066c7d835df2db1c6345344e592012cc (patch) | |
tree | 9fb02cc9125ccfbd5e44e37492599d996f0e86c3 /Makefile | |
parent | 07c6285fe425f1ec3388bd73bb26e5480c06cca1 (diff) | |
download | petitcaml-1c2be950066c7d835df2db1c6345344e592012cc.tar.gz petitcaml-1c2be950066c7d835df2db1c6345344e592012cc.tar.bz2 |
[petitcaml] Fix Makefile and add release target
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -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 |