Merge branch 'set-k-release' into dockerhub-images

runtimeverification · May 24, 2020 · c179785 · c179785
2 parents 7920485 + 9c5385a
commit c179785
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -242,10 +242,10 @@ $(web3_kompiled): $(web3_kore) $(libff_out)
 
 # Standalone
 
-STANDALONE_KOMPILE_OPTS := $(PLUGIN_SUBMODULE)/plugin-c/crypto.cpp \
-                           $(PLUGIN_SUBMODULE)/plugin-c/blake2.cpp \
-                           -g -std=c++14 -L$(LOCAL_LIB)            \
-                           -lff -lcryptopp -lsecp256k1
+STANDALONE_KOMPILE_OPTS := -L$(LOCAL_LIB) -I$(K_RELEASE)/include/kllvm \
+                           $(PLUGIN_SUBMODULE)/plugin-c/crypto.cpp     \
+                           $(PLUGIN_SUBMODULE)/plugin-c/blake2.cpp     \
+                           -g -std=c++14 -lff -lcryptopp -lsecp256k1
 
 ifeq ($(UNAME_S),Linux)
     STANDALONE_KOMPILE_OPTS += -lprocps