swh:1:snp:f21a40066c2663969c9a5e9a10322d327835126e
Tip revision: f06610ac4f25dcf2ca80c817c7077a25df583c57 authored by Kenji Maillard on 31 January 2020, 14:10:31 UTC
do not capture the exceptions of the continuation
do not capture the exceptions of the continuation
Tip revision: f06610a
Makefile
SED = `which gsed || which sed`
all: theory # plugin
_PluginProject: _PluginProject.in metacoq-config
cat metacoq-config > _PluginProject
cat _PluginProject.in >> _PluginProject
_CoqProject: _CoqProject.in metacoq-config
cat metacoq-config > _CoqProject
cat _CoqProject.in >> _CoqProject
Makefile.plugin: _PluginProject
coq_makefile -f _PluginProject -o Makefile.plugin $(DEPS)
$(SED) -i -e s/coqdeps/coqdeps.plugin/g Makefile.plugin
Makefile.pcuic: _CoqProject
coq_makefile -f _CoqProject -o Makefile.pcuic $(DEPS)
theory: Makefile.pcuic
$(MAKE) -f Makefile.pcuic
plugin: theory Makefile.plugin
$(MAKE) -f Makefile.plugin
install: theory # plugin
$(MAKE) -f Makefile.pcuic install
# $(MAKE) -f Makefile.plugin install
clean: Makefile.pcuic Makefile.plugin
make -f Makefile.pcuic clean
# make -f Makefile.plugin clean
mrproper:
rm -f metacoq-config
rm -f Makefile.plugin _PluginProject
rm -f Makefile.pcuic _CoqProject
.merlin:
make -f Makefile.plugin .merlin
cleanplugin: Makefile.plugin
# make -f Makefile.plugin clean