another git issue (#410)

runtimeverification · Jul 24, 2019 · 937f286 · 937f286
1 parent ec213d8
commit 937f286
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -70,9 +70,11 @@ libff_out:=$(LIBRARY_PATH)/libff.a
 libsecp256k1: $(libsecp256k1_out)
 libff: $(libff_out)
 
-$(libsecp256k1_out):
+$(DEPS_DIR)/secp256k1/autogen.sh:
 	@echo "== submodule: $(DEPS_DIR)/secp256k1"
 	git submodule update --init --recursive -- $(DEPS_DIR)/secp256k1
+
+$(libsecp256k1_out): $(DEPS_DIR)/secp256k1/autogen.sh
 	cd $(DEPS_DIR)/secp256k1/ \
 	    && ./autogen.sh \
 	    && ./configure --enable-module-recovery --prefix="$(BUILD_LOCAL)" \