From d58ee722913d97fa2cfa91bf1c89c9c11e188921 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20L=C3=B3pez?= Date: Fri, 20 Jan 2023 09:47:33 -0300 Subject: [PATCH] Enable static linking for docker container --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 844e81205..e5ebfea41 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -16,7 +16,7 @@ RUN curl -sSL https://get.haskellstack.org/ | sh COPY . /echidna/ WORKDIR /echidna RUN .github/scripts/install-libff.sh -RUN stack upgrade && stack setup && stack install --extra-include-dirs=/usr/local/include --extra-lib-dirs=/usr/local/lib +RUN stack upgrade && stack setup && stack install --flag echidna:static --extra-include-dirs=/usr/local/include --extra-lib-dirs=/usr/local/lib FROM ubuntu:focal AS builder-python3