From e6a740c1abcbd124ddd0188260e4b1f15e81f7fc Mon Sep 17 00:00:00 2001
From: Mahrud Sayrafi <mahrud@berkeley.edu>
Date: Fri, 19 Jul 2024 13:17:12 +0200
Subject: [PATCH] added e-antic 2.0.2

---
 Formula/eantic.rb | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 Formula/eantic.rb

diff --git a/Formula/eantic.rb b/Formula/eantic.rb
new file mode 100644
index 0000000..92444c6
--- /dev/null
+++ b/Formula/eantic.rb
@@ -0,0 +1,38 @@
+class Eantic < Formula
+  desc "Computing with Real Embedded Number Fields"
+  homepage "https://flatsurf.github.io/e-antic/libeantic/"
+  url "https://github.com/flatsurf/e-antic/releases/download/2.0.2/e-antic-2.0.2.tar.gz"
+  sha256 "8328e6490129dfec7f4aa478ebd54dc07686bd5e5e7f5f30dcf20c0f11b67f60"
+  license any_of: ["LGPL-3.0-only", "GPL-3.0-only"]
+
+  depends_on "autoconf" => :build
+  depends_on "automake" => :build
+  depends_on "libtool" => :build
+
+  depends_on "boost"
+  depends_on "flint"
+
+  def install
+    ENV.cxx11
+
+    args = [
+      "--prefix=#{prefix}",
+      "--disable-shared",
+      "--disable-silent-rules",
+      "--disable-dependency-tracking",
+      "--without-benchmark",
+      "--without-byexample",
+      "--without-pytest",
+      "--without-doc",
+    ]
+
+    system "autoreconf", "-vif"
+    system "./configure", *args
+    system "make", "install"
+    system "make", "check" if build.bottle?
+  end
+
+  test do
+    system "true"
+  end
+end