From 03e10410d8dc0dc172108bf019aea8b431355b93 Mon Sep 17 00:00:00 2001 From: Denis Bogdanas Date: Sat, 4 May 2019 16:56:56 +0300 Subject: [PATCH] kprove.mak: cloning K submodules. Required for more recent K. --- resources/kprove.mak | 1 + 1 file changed, 1 insertion(+) diff --git a/resources/kprove.mak b/resources/kprove.mak index 869e003ee..e36b53652 100644 --- 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):