Mercurial > cpdt > repo

diff Makefile @ 517:136d4b84eb96

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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/