7 files changed, 48 insertions, 0 deletions
diff --git a/homebrew/coq/.beer b/homebrew/coq/.beer
new file mode 100644
index 000000000..cd70fa53e
--- /dev/null
+++ b/homebrew/coq/.beer
@@ -0,0 +1,39 @@
+{
+    "name": "Coq",
+    "description": "Proof assistant for higher-order logic",
+    "url": "https://github.com/coq/coq/archive/V8.9.0.tar.gz",
+    "mirror": null,
+    "homepage": "https://coq.inria.fr/",
+    "depends": [
+        {
+            "depend": "ocaml-findlib",
+            "build-depend": true
+        },
+        {
+            "depend": "camlp5",
+            "build-depend": false
+        },
+        {
+            "depend": "ocaml",
+            "build-depend": false
+        },
+        {
+            "depend": "ocaml-num",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"./configure\", \"-prefix\", prefix,",
+        "\"-mandir\", man,",
+        "\"-coqdocdir\", \"#{pkgshare}/latex\",",
+        "\"-coqide\", \"no\",",
+        "\"-with-doc\", \"no\"",
+        "system \"make\", \"world\"",
+        "ENV.deparallelize { system \"make\", \"install\" }"
+    ],
+    "version": "8.9.0",
+    "file": "coq.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/coq/.make.sh-auto b/homebrew/coq/.make.sh-auto
new file mode 100644
index 000000000..ebf39db53
--- /dev/null
+++ b/homebrew/coq/.make.sh-auto
@@ -0,0 +1,4 @@
+pkg:setup
+pkg:configure -prefix prefix -mandir man -coqdocdir ${PKG_TAPF}/share/latex -coqide no -with-doc no
+make world
+ENV.deparallelize { system "make", "install" }
diff --git a/homebrew/coq/_metadata/description b/homebrew/coq/_metadata/description
new file mode 100644
index 000000000..7cb2e02e7
--- /dev/null
+++ b/homebrew/coq/_metadata/description
@@ -0,0 +1 @@
+Proof assistant for higher-order logic
diff --git a/homebrew/coq/_metadata/homepage b/homebrew/coq/_metadata/homepage
new file mode 100644
index 000000000..029c87d47
--- /dev/null
+++ b/homebrew/coq/_metadata/homepage
@@ -0,0 +1 @@
+https://coq.inria.fr/
diff --git a/homebrew/coq/_metadata/name b/homebrew/coq/_metadata/name
new file mode 100644
index 000000000..f7e90e253
--- /dev/null
+++ b/homebrew/coq/_metadata/name
@@ -0,0 +1 @@
+Coq
diff --git a/homebrew/coq/_metadata/version b/homebrew/coq/_metadata/version
new file mode 100644
index 000000000..e5c15102d
--- /dev/null
+++ b/homebrew/coq/_metadata/version
@@ -0,0 +1 @@
+8.9.0
diff --git a/homebrew/coq/download.sh b/homebrew/coq/download.sh
new file mode 100755
index 000000000..6f113eaf0
--- /dev/null
+++ b/homebrew/coq/download.sh
@@ -0,0 +1 @@
+wget https://github.com/coq/coq/archive/V8.9.0.tar.gz
+\ No newline at end of file