From 614ae036a26e631e80b9be239097bfa41b8f3ac6 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 8 Aug 2019 18:21:35 +0200 Subject: [PATCH] Also build shared library of evmone. --- .circleci/docker/Dockerfile.ubuntu1904 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.circleci/docker/Dockerfile.ubuntu1904 b/.circleci/docker/Dockerfile.ubuntu1904 index ac9a288d4..0e6296418 100644 --- a/.circleci/docker/Dockerfile.ubuntu1904 +++ b/.circleci/docker/Dockerfile.ubuntu1904 @@ -124,7 +124,7 @@ RUN set -ex; \ cd evmone; \ mkdir build; \ cd build; \ - cmake -G Ninja -DBUILD_SHARED_LIBS=OFF -DCMAKE_INSTALL_PREFIX="/usr" ..; \ + cmake -G Ninja -DBUILD_SHARED_LIBS=ON -DCMAKE_INSTALL_PREFIX="/usr" ..; \ ninja; \ ninja install/strip; \ rm -rf /usr/src/evmone