swh:1:snp:f21a40066c2663969c9a5e9a10322d327835126e
Tip revision: 291d6a2eef027673a89f5b8cf8ca011d8e7653b8 authored by Meven on 09 June 2022, 09:09:10 UTC
dumping the current state for Arthur
dumping the current state for Arthur
Tip revision: 291d6a2
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
uninstall: theory # plugin
$(MAKE) -f Makefile.pcuic uninstall
# $(MAKE) -f Makefile.plugin uninstall
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: Makefile.plugin
make -f $< $@
cleanplugin: Makefile.plugin
# make -f Makefile.plugin clean