From ca943ba7983f076222d395562f296a5ce3aee483 Mon Sep 17 00:00:00 2001 From: Philipp Hossner Date: Wed, 14 Feb 2024 22:13:09 +0100 Subject: [PATCH] Add --force-dirty flag to stack build --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 6a524c8..ff8a747 100755 --- a/build.sh +++ b/build.sh @@ -100,7 +100,7 @@ docker run \ --detach \ "${BUILD_IMAGE_DUCKLING_FFI}" \ sleep infinity -docker exec "${STATIC_LIB_CONTAINER_NAME}" bash -c 'cd /duckling-ffi && stack build --no-install-ghc --system-ghc --allow-different-user' +docker exec "${STATIC_LIB_CONTAINER_NAME}" bash -c 'cd /duckling-ffi && stack build --no-install-ghc --system-ghc --allow-different-user --force-dirty' docker cp "${STATIC_LIB_CONTAINER_NAME}:/duckling-ffi/libducklingffi.a" ext_lib/libducklingffi.a # --- build binary distributions