7 files changed, 38 insertions, 0 deletions
diff --git a/homebrew/mpfi/.beer b/homebrew/mpfi/.beer
new file mode 100644
index 000000000..a385e6f80
--- /dev/null
+++ b/homebrew/mpfi/.beer
@@ -0,0 +1,28 @@
+{
+    "name": "Mpfi",
+    "description": "Multiple precision interval arithmetic library",
+    "url": "https://gforge.inria.fr/frs/download.php/file/37331/mpfi-1.5.3.tar.bz2",
+    "mirror": null,
+    "homepage": "https://perso.ens-lyon.fr/nathalie.revol/software.html",
+    "depends": [
+        {
+            "depend": "gmp",
+            "build-depend": false
+        },
+        {
+            "depend": "mpfr",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"./configure\", \"--disable-dependency-tracking\", \"--prefix=#{prefix}\"",
+        "system \"make\"",
+        "system \"make\", \"check\"",
+        "system \"make\", \"install\""
+    ],
+    "version": "1.5.3",
+    "file": "mpfi.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/mpfi/.make.sh-auto b/homebrew/mpfi/.make.sh-auto
new file mode 100644
index 000000000..9f2bcade6
--- /dev/null
+++ b/homebrew/mpfi/.make.sh-auto
@@ -0,0 +1,5 @@
+pkg:setup
+pkg:configure --disable-dependency-tracking
+make
+make check
+make DESTDIR=${PKG_DEST} install
diff --git a/homebrew/mpfi/_metadata/description b/homebrew/mpfi/_metadata/description
new file mode 100644
index 000000000..d14b60597
--- /dev/null
+++ b/homebrew/mpfi/_metadata/description
@@ -0,0 +1 @@
+Multiple precision interval arithmetic library
diff --git a/homebrew/mpfi/_metadata/homepage b/homebrew/mpfi/_metadata/homepage
new file mode 100644
index 000000000..4ac5e0266
--- /dev/null
+++ b/homebrew/mpfi/_metadata/homepage
@@ -0,0 +1 @@
+https://perso.ens-lyon.fr/nathalie.revol/software.html
diff --git a/homebrew/mpfi/_metadata/name b/homebrew/mpfi/_metadata/name
new file mode 100644
index 000000000..6309d28a9
--- /dev/null
+++ b/homebrew/mpfi/_metadata/name
@@ -0,0 +1 @@
+Mpfi
diff --git a/homebrew/mpfi/_metadata/version b/homebrew/mpfi/_metadata/version
new file mode 100644
index 000000000..8af85beb5
--- /dev/null
+++ b/homebrew/mpfi/_metadata/version
@@ -0,0 +1 @@
+1.5.3
diff --git a/homebrew/mpfi/download.sh b/homebrew/mpfi/download.sh
new file mode 100755
index 000000000..d7514c706
--- /dev/null
+++ b/homebrew/mpfi/download.sh
@@ -0,0 +1 @@
+wget https://gforge.inria.fr/frs/download.php/file/37331/mpfi-1.5.3.tar.bz2
+\ No newline at end of file