diff options
Diffstat (limited to 'homebrew/mercury/.beer')
-rw-r--r-- | homebrew/mercury/.beer | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/homebrew/mercury/.beer b/homebrew/mercury/.beer new file mode 100644 index 000000000..3cc583899 --- /dev/null +++ b/homebrew/mercury/.beer @@ -0,0 +1,25 @@ +{ + "name": "Mercury", + "description": "Logic/functional programming language", + "url": "https://dl.mercurylang.org/release/mercury-srcdist-14.01.1.tar.gz", + "mirror": null, + "homepage": "https://mercurylang.org/", + "depends": [], + "resource": [], + "conflicts": [], + "patches": [], + "install": [ + "args = [\"--prefix=#{prefix}\",", + "\"--mandir=#{man}\",", + "\"--infodir=#{info}\",", + "\"--disable-dependency-tracking\",", + "\"--enable-java-grade\"]", + "system \"./configure\", *args", + "system \"make\", \"install\", \"PARALLEL=-j\",", + "\"INSTALL_MAN_DIR=#{man}\",", + "\"INSTALL_INFO_DIR=#{info}\"", + "rm Dir.glob(\"#{bin}/*.bat\")" + ], + "version": "14.01.1", + "file": "mercury.rb" +}
\ No newline at end of file |