Mercurial > cpdt > repo
diff 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 |
line wrap: on
line diff
--- a/Makefile Wed Oct 16 10:41:23 2013 -0400 +++ b/Makefile Thu Dec 05 15:51:33 2013 -0500 @@ -52,8 +52,16 @@ cpdt.tgz: hg archive -t tgz $@ -install: cpdt.tgz latex/cpdt.pdf latex/exercises.pdf html - cp cpdt.tgz staging/ +cpdtlib.tgz: Makefile + mkdir -p cpdtlib + cp src/LICENSE cpdtlib + cp src/CpdtTactics.v cpdtlib + cp src/MoreSpecif.v cpdtlib + cp src/DepList.v cpdtlib + tar zcf cpdtlib.tgz cpdtlib/* + +install: cpdt.tgz cpdtlib.tgz latex/cpdt.pdf latex/exercises.pdf html + cp cpdt*.tgz staging/ cp latex/cpdt.pdf staging/ cp latex/exercises.pdf staging/ex/ cp -R html staging/