diff options
Diffstat (limited to 'homebrew/urweb/.beer')
-rw-r--r-- | homebrew/urweb/.beer | 50 |
1 files changed, 50 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 |