1 files changed, 19 insertions, 0 deletions
diff --git a/homebrew/polyml/.beer b/homebrew/polyml/.beer
new file mode 100644
index 000000000..9c53ef9de
--- /dev/null
+++ b/homebrew/polyml/.beer
@@ -0,0 +1,19 @@
+{
+    "name": "Polyml",
+    "description": "Standard ML implementation",
+    "url": "https://github.com/polyml/polyml/archive/v5.8.tar.gz",
+    "mirror": null,
+    "homepage": "https://www.polyml.org/",
+    "depends": [],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"./configure\", \"--disable-dependency-tracking\", \"--disable-debug\",",
+        "\"--prefix=#{prefix}\"",
+        "system \"make\"",
+        "system \"make\", \"install\""
+    ],
+    "version": "5.8",
+    "file": "polyml.rb"
+}
+\ No newline at end of file