swh:1:snp:f21a40066c2663969c9a5e9a10322d327835126e
Tip revision: 659de9d620eb26da48a6ea9981412c8e151ea41d authored by SimonBoulier on 07 November 2019, 15:13:07 UTC
[WIP] Compile jusque extraction sauf plugin
[WIP] Compile jusque extraction sauf plugin
Tip revision: 659de9d
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