7 files changed, 59 insertions, 0 deletions
diff --git a/homebrew/urweb/.beer b/homebrew/urweb/.beer
new file mode 100644
index 000000000..85c10b39a
--- /dev/null
+++ b/homebrew/urweb/.beer
@@ -0,0 +1,50 @@
+{
+    "name": "Urweb",
+    "description": "Ur/Web programming language",
+    "url": "https://github.com/urweb/urweb/releases/download/20180616/urweb-20180616.tar.gz",
+    "mirror": null,
+    "homepage": "http://www.impredicative.com/ur/",
+    "depends": [
+        {
+            "depend": "autoconf",
+            "build-depend": true
+        },
+        {
+            "depend": "automake",
+            "build-depend": true
+        },
+        {
+            "depend": "libtool",
+            "build-depend": true
+        },
+        {
+            "depend": "mlton",
+            "build-depend": true
+        },
+        {
+            "depend": "gmp",
+            "build-depend": false
+        },
+        {
+            "depend": "openssl",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "args = %W[",
+        "--disable-debug",
+        "--disable-dependency-tracking",
+        "--disable-silent-rules",
+        "--with-openssl=#{Formula[\"openssl\"].opt_prefix}",
+        "--prefix=#{prefix}",
+        "SITELISP=$prefix/share/emacs/site-lisp/urweb",
+        "]",
+        "system \"./configure\", *args",
+        "system \"make\", \"install\""
+    ],
+    "version": "20180616",
+    "file": "urweb.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/urweb/.make.sh-auto b/homebrew/urweb/.make.sh-auto
new file mode 100644
index 000000000..c277841b1
--- /dev/null
+++ b/homebrew/urweb/.make.sh-auto
@@ -0,0 +1,4 @@
+pkg:setup
+args = %W[--disable-debug --disable-dependency-tracking --disable-silent-rules --with-openssl=#{Formula["openssl"].opt_prefix} --prefix=#{prefix} SITELISP=$prefix/share/emacs/site-lisp/urweb ]
+pkg:configure *args
+make DESTDIR=${PKG_DEST} install
diff --git a/homebrew/urweb/_metadata/description b/homebrew/urweb/_metadata/description
new file mode 100644
index 000000000..91dca0cd7
--- /dev/null
+++ b/homebrew/urweb/_metadata/description
@@ -0,0 +1 @@
+Ur/Web programming language
diff --git a/homebrew/urweb/_metadata/homepage b/homebrew/urweb/_metadata/homepage
new file mode 100644
index 000000000..1b9fe1ab5
--- /dev/null
+++ b/homebrew/urweb/_metadata/homepage
@@ -0,0 +1 @@
+http://www.impredicative.com/ur/
diff --git a/homebrew/urweb/_metadata/name b/homebrew/urweb/_metadata/name
new file mode 100644
index 000000000..ed7282d3d
--- /dev/null
+++ b/homebrew/urweb/_metadata/name
@@ -0,0 +1 @@
+Urweb
diff --git a/homebrew/urweb/_metadata/version b/homebrew/urweb/_metadata/version
new file mode 100644
index 000000000..654897f86
--- /dev/null
+++ b/homebrew/urweb/_metadata/version
@@ -0,0 +1 @@
+20180616
diff --git a/homebrew/urweb/download.sh b/homebrew/urweb/download.sh
new file mode 100755
index 000000000..a0c499bc8
--- /dev/null
+++ b/homebrew/urweb/download.sh
@@ -0,0 +1 @@
+wget https://github.com/urweb/urweb/releases/download/20180616/urweb-20180616.tar.gz
+\ No newline at end of file