From f82156ac79aa59b9733a1974e7d77fb6f0a8985d Mon Sep 17 00:00:00 2001
From: Jim Balhoff <jim@balhoff.org>
Date: Fri, 29 Sep 2023 13:10:47 -0400
Subject: [PATCH] Set Souffle to use 64-bit integer and float values, to match
 Mac homebrew package

---
 docker/builder/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/builder/Dockerfile b/docker/builder/Dockerfile
index b5bdb536..d45d3ef6 100644
--- 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