cmake flags to libff (#409)

* cmake flags to libff * add empty variable declaration
runtimeverification · Jul 24, 2019 · ec213d8 · ec213d8
1 parent 6aaeae7
commit ec213d8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -81,6 +81,7 @@ $(libsecp256k1_out):
 
 LIBFF_CC ?=clang-8
 LIBFF_CXX?=clang++-8
+LIBFF_CMAKE_FLAGS?=
 
 $(DEPS_DIR)/libff/CMakeLists.txt:
 	@echo "== submodule: $(DEPS_DIR)/libff"
@@ -90,7 +91,7 @@ $(libff_out): $(DEPS_DIR)/libff/CMakeLists.txt
 	cd $(DEPS_DIR)/libff/ \
 	    && mkdir -p build \
 	    && cd build \
-	    && CC=$(LIBFF_CC) CXX=$(LIBFF_CXX) cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$(BUILD_LOCAL) \
+	    && CC=$(LIBFF_CC) CXX=$(LIBFF_CXX) cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$(BUILD_LOCAL) $(LIBFF_CMAKE_FLAGS) \
 	    && make -s -j4 \
 	    && make install