Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
545:4f6e7bab0d45 546:306539f29eea
55 hg archive -t tgz $@ 55 hg archive -t tgz $@
56 56
57 cpdtlib.tgz: Makefile 57 cpdtlib.tgz: Makefile
58 mkdir -p cpdtlib 58 mkdir -p cpdtlib
59 cp src/LICENSE cpdtlib 59 cp src/LICENSE cpdtlib
60 cp src/CpdtTactics.v cpdtlib 60 # Generate specifically BSD licenced versions of the lib files.
61 cp src/MoreSpecif.v cpdtlib 61 ocaml tools/bsd_license.ml < src/CpdtTactics.v > cpdtlib/CpdtTactics.v
62 cp src/DepList.v cpdtlib 62 ocaml tools/bsd_license.ml < src/MoreSpecif.v > cpdtlib/MoreSpecif.v
63 ocaml tools/bsd_license.ml < src/DepList.v > cpdtlib/DepList.v
63 tar zcf cpdtlib.tgz cpdtlib/* 64 tar zcf cpdtlib.tgz cpdtlib/*
64 65
65 install: cpdt.tgz cpdtlib.tgz latex/cpdt.pdf latex/exercises.pdf html 66 install: cpdt.tgz cpdtlib.tgz latex/cpdt.pdf latex/exercises.pdf html
66 cp cpdt*.tgz staging/ 67 cp cpdt*.tgz staging/
67 cp latex/cpdt.pdf staging/ 68 cp latex/cpdt.pdf staging/