comparison Makefile @ 517:136d4b84eb96

Build an open-source release of library modules
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Dec 2013 15:51:33 -0500
parents 929c12a95b87
children ed829eaa91b2
comparison
equal deleted inserted replaced
516:a8377999fcf9 517:136d4b84eb96
50 ocaml tools/make_template.ml <$< >$@ 50 ocaml tools/make_template.ml <$< >$@
51 51
52 cpdt.tgz: 52 cpdt.tgz:
53 hg archive -t tgz $@ 53 hg archive -t tgz $@
54 54
55 install: cpdt.tgz latex/cpdt.pdf latex/exercises.pdf html 55 cpdtlib.tgz: Makefile
56 cp cpdt.tgz staging/ 56 mkdir -p cpdtlib
57 cp src/LICENSE cpdtlib
58 cp src/CpdtTactics.v cpdtlib
59 cp src/MoreSpecif.v cpdtlib
60 cp src/DepList.v cpdtlib
61 tar zcf cpdtlib.tgz cpdtlib/*
62
63 install: cpdt.tgz cpdtlib.tgz latex/cpdt.pdf latex/exercises.pdf html
64 cp cpdt*.tgz staging/
57 cp latex/cpdt.pdf staging/ 65 cp latex/cpdt.pdf staging/
58 cp latex/exercises.pdf staging/ex/ 66 cp latex/exercises.pdf staging/ex/
59 cp -R html staging/ 67 cp -R html staging/
60 rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/ 68 rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/
61 69