gecode: remove opportunistic linkage to `mpfr`

master
Michael Cho 2023-01-06 12:07:54 -08:00 committed by BrewTestBot
parent 4ac6b943d9
commit f03e8d3c21
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 1 additions and 0 deletions

View File

@ -30,6 +30,7 @@ class Gecode < Formula
args = %W[
--prefix=#{prefix}
--disable-examples
--disable-mpfr
--enable-qt
]
ENV.cxx11