Update dependency: deps/plugin (#751)

* deps/plugin: update submodule * Revert "Update dependency: deps/plugin (#740)" Co-authored-by: Andrei <andrei.vacaru@runtimeverification.com>
runtimeverification · Mar 12, 2020 · 4f5143b · 4f5143b
1 parent 06f1d2f
commit 4f5143b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -11,7 +11,6 @@ RUN    apt-get update                \
             flex                     \
             gcc                      \
             jq                       \
-            libboost-all-dev         \
             libboost-test-dev        \
             libcrypto++-dev          \
             libffi-dev               \

diff --git a/cmake/client/CMakeLists.txt b/cmake/client/CMakeLists.txt
@@ -22,13 +22,13 @@ endif()
 target_include_directories(kevm-client
 	PUBLIC $ENV{PLUGIN_SUBMODULE}/plugin-c
 	PUBLIC $ENV{PLUGIN_SUBMODULE}/vm-c
-	PUBLIC $ENV{PLUGIN_SUBMODULE}/deps/websocketpp
+	PUBLIC $ENV{PLUGIN_SUBMODULE}/deps/cpp-httplib
 	PUBLIC ${CMAKE_SOURCE_DIR}/..)
 target_compile_options(kevm-client
 	PUBLIC $ENV{LLVM_KOMPILE_OPTS}
 	PUBLIC -Wall -Werror -Wno-unknown-warning-option)
 target_link_libraries(kevm-client
-	ff gmp ${LINK_PROCPS} cryptopp secp256k1 gflags boost_system
+	ff gmp ${LINK_PROCPS} cryptopp secp256k1 gflags
 )
 
 include(LLVMKompile)
diff --git a/deps/plugin b/deps/plugin