Revision e24a92af25746f6758a09ea1dc51e57491508e60 authored by Fabian Kunze on 03 February 2021, 23:29:51 UTC, committed by Fabian Kunze on 03 February 2021, 23:29:51 UTC
1 parent 6e9ec7e
Makefile
all: Makefile.coq
$(MAKE) -f Makefile.coq all
deps:
git submodule init
git submodule update
opam install ./coq-library-undecidability --deps-only
html: Makefile.coq
$(MAKE) -f Makefile.coq html
mv html/*.html ./website
rm -rf html
install: Makefile.coq
$(MAKE) -f Makefile.coq install
uninstall: Makefile.coq
$(MAKE) -f Makefile.coq uninstall
realclean: Makefile.coq clean
$(MAKE) -C coq-library-undecidability/theories -f Makefile clean
clean: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq Makefile.coq.conf
Makefile.coq: _CoqProject
coq_makefile -f _CoqProject -o Makefile.coq
.PHONY: all install html clean
dummy:
force _CoqProject Makefile: ;
%: Makefile.coq force
@+$(MAKE) -f Makefile.coq $@
Computing file changes ...