frap/Makefile

54 lines
1.2 KiB
Makefile
Raw Permalink Normal View History

.PHONY: all lib coq install
2015-12-31 20:44:34 +00:00
all: frap_book.pdf coq
2015-12-31 20:44:34 +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
lib: Makefile.coq
2016-04-19 18:29:02 +00:00
$(MAKE) -f Makefile.coq Frap.vo AbstractInterpret.vo SepCancel.vo
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
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/
install: index.html frap_book.pdf frap.tgz fraplib.tgz
rsync frap_book.pdf $(WHERE)
2016-02-02 18:53:00 +00:00
rsync frap.tgz $(WHERE)
rsync fraplib.tgz $(WHERE)
2016-02-02 18:53:00 +00:00
rsync index.html $(WHERE)