From 149aee10f5c4ff9ce8f29f2df2660fd38ac3ba7c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 29 Apr 2018 13:59:44 -0400 Subject: Only install files built by the coq target --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e54fc39fa..9afb43291 100644 --- a/Makefile +++ b/Makefile @@ -95,6 +95,7 @@ SELECTED_PATTERN := \ SELECTED_SPECIFIC_PRE_VOFILES := $(filter $(SELECTED_PATTERN),$(REGULAR_VOFILES)) COQ_VOFILES := $(filter-out $(SPECIFIC_GENERATED_VOFILES),$(REGULAR_VOFILES)) +FILESTOINSTALL := $(filter-out $(SPECIFIC_GENERATED_VOFILES),$(FILESTOINSTALL)) SPECIFIC_VO := $(filter src/Specific/%,$(REGULAR_VOFILES)) NONAUTOGENERATED_SPECIFIC_VO := $(filter-out $(SPECIFIC_GENERATED_VOFILES),$(SPECIFIC_VO)) NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(REGULAR_VOFILES)) -- cgit v1.2.3