From b5c6fe85f4e12da7585cc7282827ef1d9d8253a4 Mon Sep 17 00:00:00 2001
From: Jim Balhoff <jim@balhoff.org>
Date: Mon, 2 Oct 2023 16:07:03 -0400
Subject: [PATCH] Set Souffle to use 64-bit integer and float values, to match
 Mac homebrew package (#935)

Co-authored-by: Anita Caron <anitac@ebi.ac.uk>
---
 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