Set Souffle to use 64-bit integer and float values, to match Mac home…

…brew package (#935) Co-authored-by: Anita Caron <[email protected]>
INCATools · Oct 2, 2023 · b5c6fe8 · b5c6fe8
1 parent c145929
commit b5c6fe8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/builder/Dockerfile b/docker/builder/Dockerfile
@@ -74,7 +74,7 @@ RUN DEBIAN_FRONTEND="noninteractive" apt-get install -y --no-install-recommends
         -O /build/souffle-$SOUFFLE_VERSION.tar.gz && \
     tar xf souffle-$SOUFFLE_VERSION.tar.gz && \
     cd souffle-$SOUFFLE_VERSION && \
-    cmake -S . -B build && \
+    cmake -S . -B build -DSOUFFLE_DOMAIN_64BIT=ON && \
     cmake --build build --target install DESTDIR=/staging/full && \
     cd /build && \
     rm -rf souffle-$SOUFFLE_VERSION souffle-$SOUFFLE_VERSION.tar.gz