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

…brew package
INCATools · Sep 29, 2023 · f82156a · f82156a
1 parent faf30eb
commit f82156a
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