Skip to content

Commit

Permalink
added e-antic 2.0.2
Browse files Browse the repository at this point in the history
Closes #233.

Signed-off-by: Mahrud Sayrafi <[email protected]>
  • Loading branch information
mahrud committed Jul 19, 2024
1 parent b52d0f5 commit 4c225d4
Showing 1 changed file with 38 additions and 0 deletions.
38 changes: 38 additions & 0 deletions Formula/eantic.rb
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 4c225d4

Please sign in to comment.