https://github.com/CoqHott/coq-effects
Tip revision: 8059d06b525c944c8da241d2e6dd18a0c9080999 authored by Pierre-Marie Pédrot on 21 June 2017, 11:19:24 UTC
Random stuff in parametricity.
Random stuff in parametricity.
Tip revision: 8059d06
Makefile
all: Makefile.coq
$(MAKE) -f Makefile.coq
install: all
$(MAKE) -f Makefile.coq install
clean: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq
Makefile.coq: _CoqProject
$(COQBIN)/coq_makefile -f _CoqProject -o Makefile.coq
