1 files changed, 19 insertions, 0 deletions
diff --git a/homebrew/eprover/.beer b/homebrew/eprover/.beer
new file mode 100644
index 000000000..4c36d6969
--- /dev/null
+++ b/homebrew/eprover/.beer
@@ -0,0 +1,19 @@
+{
+    "name": "Eprover",
+    "description": "Theorem prover for full first-order logic with equality",
+    "url": "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.2/E.tgz",
+    "mirror": null,
+    "homepage": "https://eprover.org/",
+    "depends": [],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"./configure\", \"--prefix=#{prefix}\",",
+        "\"--man-prefix=#{man1}\"",
+        "system \"make\"",
+        "system \"make\", \"install\""
+    ],
+    "version": "2.2",
+    "file": "eprover.rb"
+}
+\ No newline at end of file