From 5d1d082f250d3301af8b0b931e490e7af5cbed18 Mon Sep 17 00:00:00 2001
From: hjorthjort <rikard.hjort@gmail.com>
Date: Sun, 14 Jun 2020 10:19:25 +0000
Subject: [PATCH] Makefile: only rebuild definitions when source files change

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index a25a05c..0918095 100644
--- a/Makefile
+++ b/Makefile
@@ -47,6 +47,7 @@ EEI_FILES:=eei.md
 EEI_SOURCE_FILES:=$(patsubst %, $(eei_submodule)/%, $(EEI_FILES))
 EWASM_FILES:=ewasm-test.md driver.md ewasm.md kewasm-lemmas.md
 EWASM_SOURCE_FILES:=$(EWASM_FILES)
+EXTRA_SOURCE_FILE:=$(patsubst %, $(KWASM_SUBMODULE)/%, $(EEI_SOURCE_FILES) $(EWASM_SOURCE_FILES))
 
 deps:
 	$(KWASM_MAKE) deps
@@ -64,8 +65,7 @@ KOMPILE_OPTS :=
 
 build: build-llvm build-haskell
 
-build-%:
-	cp $(EEI_SOURCE_FILES) $(EWASM_SOURCE_FILES) $(KWASM_SUBMODULE)
+build-%: $(EXTRA_SOURCE_FILES)
 	$(KWASM_MAKE) build-$*                               \
 	    DEFN_DIR=../../$(DEFN_DIR)                       \
 	    llvm_main_module=$(MAIN_MODULE)                  \
@@ -77,6 +77,10 @@ build-%:
 	    EXTRA_SOURCE_FILES="$(EEI_FILES) $(EWASM_FILES)" \
 	    KOMPILE_OPTS="$(KOMPILE_OPTS)"
 
+$(KWASM_SUBMODULE)/%.md: %.md
+	cp $< $@
+
+
 # Testing
 # -------