kprove.mak: cloning K submodules. Required for more recent K.

runtimeverification · Jun 4, 2019 · 03e1041 · 03e1041
1 parent 3f53cc8
commit 03e1041
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/resources/kprove.mak b/resources/kprove.mak
@@ -90,6 +90,7 @@ $(K_REPO_DIR):
 	git clone $(K_REPO_URL) $(K_REPO_DIR)
 	cd $(K_REPO_DIR) \
 		&& git reset --hard $(K_VERSION) \
+		&& git submodule update --init --recursive --remote \
 		&& mvn package -DskipTests -Dllvm.backend.skip -Dhaskell.backend.skip
 
 $(KEVM_REPO_DIR):