swh:1:snp:f21a40066c2663969c9a5e9a10322d327835126e
Tip revision: 5856a0b4685453815d3af84142ae6605f9a2dcb9 authored by nicolas tabareau on 18 October 2019, 09:19:35 UTC
renaming
renaming
Tip revision: 5856a0b
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