swh:1:snp:f21a40066c2663969c9a5e9a10322d327835126e
Tip revision: 69bb96e0476d01ff8aea5f21f83926e9b19a3b0a authored by Matthieu Sozeau on 01 September 2020, 12:36:31 UTC
Merge pull request #457 from maximedenes/fix-refine-order
Merge pull request #457 from maximedenes/fix-refine-order
Tip revision: 69bb96e
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: Makefile.plugin
make -f $< $@
cleanplugin: Makefile.plugin
# make -f Makefile.plugin clean