Mercurial > cpdt > repo

diff Makefile @ 546:306539f29eea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make specially licensed versions of lib files for cpdtlib.tgz. This adds an ocaml tool and calls to it in the Makefile.
author Arthur Peters <amp@singingwizard.org>
date Thu, 12 May 2016 18:09:36 -0500
parents d53c077a630c
children
line wrap: on
line diff
--- a/Makefile	Tue Mar 08 11:50:53 2016 -0500
+++ b/Makefile	Thu May 12 18:09:36 2016 -0500
@@ -57,9 +57,10 @@
 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
+	# Generate specifically BSD licenced versions of the lib files.
+	ocaml tools/bsd_license.ml < src/CpdtTactics.v > cpdtlib/CpdtTactics.v
+	ocaml tools/bsd_license.ml < src/MoreSpecif.v > cpdtlib/MoreSpecif.v
+	ocaml tools/bsd_license.ml < src/DepList.v > cpdtlib/DepList.v
 	tar zcf cpdtlib.tgz cpdtlib/*
 
 install: cpdt.tgz cpdtlib.tgz latex/cpdt.pdf latex/exercises.pdf html