2016-02-15 03:07:29 +00:00
|
|
|
.PHONY: all lib coq install
|
2015-12-31 20:44:34 +00:00
|
|
|
|
2016-02-10 01:21:19 +00:00
|
|
|
all: frap_book.pdf coq
|
2015-12-31 20:44:34 +00:00
|
|
|
|
2016-02-10 01:21:19 +00:00
|
|
|
frap_book.pdf: frap_book.tex Makefile
|
|
|
|
|
pdflatex frap_book
|
|
|
|
|
pdflatex frap_book
|
|
|
|
|
makeindex frap_book
|
|
|
|
|
pdflatex frap_book
|
|
|
|
|
pdflatex frap_book
|
2015-12-31 20:44:34 +00:00
|
|
|
|
|
|
|
|
coq: Makefile.coq
|
|
|
|
|
$(MAKE) -f Makefile.coq
|
|
|
|
|
|
2016-02-15 03:07:29 +00:00
|
|
|
lib: Makefile.coq
|
2016-04-19 18:29:02 +00:00
|
|
|
$(MAKE) -f Makefile.coq Frap.vo AbstractInterpret.vo SepCancel.vo
|
2016-02-15 03:07:29 +00:00
|
|
|
|
2015-12-31 20:44:34 +00:00
|
|
|
Makefile.coq: Makefile _CoqProject *.v
|
|
|
|
|
coq_makefile -f _CoqProject -o Makefile.coq
|
|
|
|
|
|
|
|
|
|
clean:: Makefile.coq
|
|
|
|
|
$(MAKE) -f Makefile.coq clean
|
|
|
|
|
rm -f Makefile.coq
|
2016-02-02 18:53:00 +00:00
|
|
|
|
2016-02-02 18:55:33 +00:00
|
|
|
frap.tgz: Makefile _CoqProject *.v *.tex *.html
|
|
|
|
|
git archive --format=tar.gz HEAD >frap.tgz
|
2016-02-02 18:53:00 +00:00
|
|
|
|
2020-03-17 13:22:06 +00:00
|
|
|
fraplib.tgz: Makefile
|
|
|
|
|
rm -rf fraplib
|
|
|
|
|
mkdir fraplib
|
|
|
|
|
cp LICENSE fraplib/
|
|
|
|
|
cp Makefile.fraplib fraplib/Makefile
|
|
|
|
|
cp _CoqProject.fraplib fraplib/_CoqProject
|
|
|
|
|
cp Relations.v fraplib/
|
|
|
|
|
cp Map.v fraplib/
|
|
|
|
|
cp Var.v fraplib/
|
|
|
|
|
cp Invariant.v fraplib/
|
|
|
|
|
cp ModelCheck.v fraplib/
|
|
|
|
|
cp FrapWithoutSets.v fraplib/
|
|
|
|
|
cp Sets.v fraplib/
|
|
|
|
|
cp Frap.v fraplib/
|
|
|
|
|
cp Imp.v fraplib/
|
|
|
|
|
cp AbstractInterpret.v fraplib/
|
|
|
|
|
cp SepCancel.v fraplib/
|
|
|
|
|
tar cf fraplib.tgz fraplib/*
|
|
|
|
|
|
2016-02-02 18:53:00 +00:00
|
|
|
WHERE=chlipala.net:sites/chlipala/adam/frap/
|
|
|
|
|
|
2020-03-17 13:22:06 +00:00
|
|
|
install: index.html frap_book.pdf frap.tgz fraplib.tgz
|
2016-02-10 01:21:19 +00:00
|
|
|
rsync frap_book.pdf $(WHERE)
|
2016-02-02 18:53:00 +00:00
|
|
|
rsync frap.tgz $(WHERE)
|
2020-03-17 13:22:06 +00:00
|
|
|
rsync fraplib.tgz $(WHERE)
|
2016-02-02 18:53:00 +00:00
|
|
|
rsync index.html $(WHERE)
|
