7 files changed, 34 insertions, 0 deletions
diff --git a/homebrew/menhir/.beer b/homebrew/menhir/.beer
new file mode 100644
index 000000000..07aa05cdc
--- /dev/null
+++ b/homebrew/menhir/.beer
@@ -0,0 +1,26 @@
+{
+    "name": "Menhir",
+    "description": "LR(1) parser generator for the OCaml programming language",
+    "url": "http://cristal.inria.fr/~fpottier/menhir/menhir-20180905.tar.gz",
+    "mirror": null,
+    "homepage": "http://cristal.inria.fr/~fpottier/menhir",
+    "depends": [
+        {
+            "depend": "ocamlbuild",
+            "build-depend": true
+        },
+        {
+            "depend": "ocaml",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"make\", \"PREFIX=#{prefix}\", \"all\"",
+        "system \"make\", \"PREFIX=#{prefix}\", \"install\""
+    ],
+    "version": "20180905",
+    "file": "menhir.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/menhir/.make.sh-auto b/homebrew/menhir/.make.sh-auto
new file mode 100644
index 000000000..a18411e27
--- /dev/null
+++ b/homebrew/menhir/.make.sh-auto
@@ -0,0 +1,3 @@
+pkg:setup
+make PREFIX=${PKG_TAPF} all
+make PREFIX=${PKG_TAPF} DESTDIR=${PKG_DEST} install
diff --git a/homebrew/menhir/_metadata/description b/homebrew/menhir/_metadata/description
new file mode 100644
index 000000000..abf313779
--- /dev/null
+++ b/homebrew/menhir/_metadata/description
@@ -0,0 +1 @@
+LR(1) parser generator for the OCaml programming language
diff --git a/homebrew/menhir/_metadata/homepage b/homebrew/menhir/_metadata/homepage
new file mode 100644
index 000000000..0553d0c62
--- /dev/null
+++ b/homebrew/menhir/_metadata/homepage
@@ -0,0 +1 @@
+http://cristal.inria.fr/~fpottier/menhir
diff --git a/homebrew/menhir/_metadata/name b/homebrew/menhir/_metadata/name
new file mode 100644
index 000000000..9cb96dbdd
--- /dev/null
+++ b/homebrew/menhir/_metadata/name
@@ -0,0 +1 @@
+Menhir
diff --git a/homebrew/menhir/_metadata/version b/homebrew/menhir/_metadata/version
new file mode 100644
index 000000000..01ebbac5c
--- /dev/null
+++ b/homebrew/menhir/_metadata/version
@@ -0,0 +1 @@
+20180905
diff --git a/homebrew/menhir/download.sh b/homebrew/menhir/download.sh
new file mode 100755
index 000000000..399051dec
--- /dev/null
+++ b/homebrew/menhir/download.sh
@@ -0,0 +1 @@
+wget http://cristal.inria.fr/~fpottier/menhir/menhir-20180905.tar.gz
+\ No newline at end of file