Commit 3c3ea343 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Ensure "make install" does not reinstall obsolete plugins.

parent 1ce44a69
......@@ -298,8 +298,11 @@ $(PLUGCMO) $(PLUGCMX): INCLUDES += $(PLUGINCLUDES)
$(PLUGDEP): $(PLUGGENERATED)
plugins.byte: $(addsuffix .cmo, $(addprefix lib/plugins/, $(PLUGINS)))
plugins.opt : $(addsuffix .cmxs, $(addprefix lib/plugins/, $(PLUGINS)))
LIBPLUGCMO = $(addsuffix .cmo, $(addprefix lib/plugins/, $(PLUGINS)))
LIBPLUGCMXS = $(addsuffix .cmxs, $(addprefix lib/plugins/, $(PLUGINS)))
plugins.byte: $(LIBPLUGCMO)
plugins.opt : $(LIBPLUGCMXS)
lib/plugins/%.cmxs: plugins/parser/%.cmx
$(if $(QUIET),@echo 'Linking $@' &&) \
......@@ -356,7 +359,7 @@ clean::
install_no_local::
mkdir -p $(LIBDIR)/why3/plugins
cp -f lib/plugins/* $(LIBDIR)/why3/plugins
cp -f $(foreach f,$(LIBPLUGCMO) $(LIBPLUGCMXS),$(wildcard $(f))) $(LIBDIR)/why3/plugins
########
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment