From f03e8d3c21683575ce20cb5296b1e16309b4b91c Mon Sep 17 00:00:00 2001
From: Michael Cho <cho-m@tuta.io>
Date: Fri, 6 Jan 2023 12:07:54 -0800
Subject: [PATCH] gecode: remove opportunistic linkage to `mpfr`

---
 Formula/gecode.rb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Formula/gecode.rb b/Formula/gecode.rb
index 8a61ca37a5f..8ef53ab8022 100644
--- a/Formula/gecode.rb
+++ b/Formula/gecode.rb
@@ -30,6 +30,7 @@ class Gecode < Formula
     args = %W[
       --prefix=#{prefix}
       --disable-examples
+      --disable-mpfr
       --enable-qt
     ]
     ENV.cxx11