Ported in the homebrew-marauder for a hacky update/import system.

	TODO: Maybe add a license & fix up messy code.

7 files changed, 40 insertions, 0 deletions

diff --git a/homebrew/lean/.beer b/homebrew/lean/.beer
new file mode 100644
index 000000000..144b0746a
--- /dev/null
+++ b/homebrew/lean/.beer
@@ -0,0 +1,31 @@
+{
+    "name": "Lean",
+    "description": "Theorem prover",
+    "url": "https://github.com/leanprover/lean/archive/v3.4.2.tar.gz",
+    "mirror": null,
+    "homepage": "https://leanprover.github.io/",
+    "depends": [
+        {
+            "depend": "cmake",
+            "build-depend": true
+        },
+        {
+            "depend": "gmp",
+            "build-depend": false
+        },
+        {
+            "depend": "jemalloc",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "mkdir \"src/build\" do",
+        "system \"cmake\", \"..\", *std_cmake_args",
+        "system \"make\", \"install\""
+    ],
+    "version": "3.4.2",
+    "file": "lean.rb"
+}
\ No newline at end of file
diff --git a/homebrew/lean/.make.sh-auto b/homebrew/lean/.make.sh-auto
new file mode 100644
index 000000000..39e569998
--- /dev/null
+++ b/homebrew/lean/.make.sh-auto
@@ -0,0 +1,4 @@
+pkg:setup
+mkdir "src/build" && cd src/build
+cmake .. -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE}
+make DESTDIR=${PKG_DEST} install
diff --git a/homebrew/lean/_metadata/description b/homebrew/lean/_metadata/description
new file mode 100644
index 000000000..c4a01cf96
--- /dev/null
+++ b/homebrew/lean/_metadata/description
@@ -0,0 +1 @@
+Theorem prover
diff --git a/homebrew/lean/_metadata/homepage b/homebrew/lean/_metadata/homepage
new file mode 100644
index 000000000..b0949d3e2
--- /dev/null
+++ b/homebrew/lean/_metadata/homepage
@@ -0,0 +1 @@
+https://leanprover.github.io/
diff --git a/homebrew/lean/_metadata/name b/homebrew/lean/_metadata/name
new file mode 100644
index 000000000..912d70338
--- /dev/null
+++ b/homebrew/lean/_metadata/name
@@ -0,0 +1 @@
+Lean
diff --git a/homebrew/lean/_metadata/version b/homebrew/lean/_metadata/version
new file mode 100644
index 000000000..4d9d11cf5
--- /dev/null
+++ b/homebrew/lean/_metadata/version
@@ -0,0 +1 @@
+3.4.2
diff --git a/homebrew/lean/download.sh b/homebrew/lean/download.sh
new file mode 100755
index 000000000..1fab9d366
--- /dev/null
+++ b/homebrew/lean/download.sh
@@ -0,0 +1 @@
+wget https://github.com/leanprover/lean/archive/v3.4.2.tar.gz
\ No newline at end of file