7 files changed, 41 insertions, 0 deletions
diff --git a/homebrew/compcert/.beer b/homebrew/compcert/.beer
new file mode 100644
index 000000000..1b36f2c61
--- /dev/null
+++ b/homebrew/compcert/.beer
@@ -0,0 +1,32 @@
+{
+    "name": "Compcert",
+    "description": "Formally verified C compiler",
+    "url": "https://github.com/AbsInt/CompCert/archive/v3.5.tar.gz",
+    "mirror": null,
+    "homepage": "http://compcert.inria.fr",
+    "depends": [
+        {
+            "depend": "coq",
+            "build-depend": true
+        },
+        {
+            "depend": "menhir",
+            "build-depend": true
+        },
+        {
+            "depend": "ocaml",
+            "build-depend": true
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"./configure\", \"-prefix\", prefix, \"x86_64-macosx\",",
+        "\"-ignore-coq-version\"",
+        "system \"make\", \"all\"",
+        "system \"make\", \"install\""
+    ],
+    "version": "3.5",
+    "file": "compcert.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/compcert/.make.sh-auto b/homebrew/compcert/.make.sh-auto
new file mode 100644
index 000000000..55188d301
--- /dev/null
+++ b/homebrew/compcert/.make.sh-auto
@@ -0,0 +1,4 @@
+pkg:setup
+pkg:configure -prefix prefix x86_64-macosx -ignore-coq-version
+make all
+make DESTDIR=${PKG_DEST} install
diff --git a/homebrew/compcert/_metadata/description b/homebrew/compcert/_metadata/description
new file mode 100644
index 000000000..58cd46552
--- /dev/null
+++ b/homebrew/compcert/_metadata/description
@@ -0,0 +1 @@
+Formally verified C compiler
diff --git a/homebrew/compcert/_metadata/homepage b/homebrew/compcert/_metadata/homepage
new file mode 100644
index 000000000..8e5286579
--- /dev/null
+++ b/homebrew/compcert/_metadata/homepage
@@ -0,0 +1 @@
+http://compcert.inria.fr
diff --git a/homebrew/compcert/_metadata/name b/homebrew/compcert/_metadata/name
new file mode 100644
index 000000000..d1e0adc01
--- /dev/null
+++ b/homebrew/compcert/_metadata/name
@@ -0,0 +1 @@
+Compcert
diff --git a/homebrew/compcert/_metadata/version b/homebrew/compcert/_metadata/version
new file mode 100644
index 000000000..5a958026d
--- /dev/null
+++ b/homebrew/compcert/_metadata/version
@@ -0,0 +1 @@
+3.5
diff --git a/homebrew/compcert/download.sh b/homebrew/compcert/download.sh
new file mode 100755
index 000000000..1d19d87cb
--- /dev/null
+++ b/homebrew/compcert/download.sh
@@ -0,0 +1 @@
+wget https://github.com/AbsInt/CompCert/archive/v3.5.tar.gz
+\ No newline at end of file