diff options
Diffstat (limited to 'homebrew/kimwituxx/.beer')
-rw-r--r-- | homebrew/kimwituxx/.beer | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/homebrew/kimwituxx/.beer b/homebrew/kimwituxx/.beer new file mode 100644 index 000000000..3cc498a53 --- /dev/null +++ b/homebrew/kimwituxx/.beer @@ -0,0 +1,22 @@ +{ + "name": "Kimwituxx", + "description": "Tool for processing trees (i.e. terms)", + "url": "https://download.savannah.gnu.org/releases/kimwitu-pp/kimwitu++-2.3.13.tar.gz", + "mirror": null, + "homepage": "https://www2.informatik.hu-berlin.de/sam/kimwitu++/", + "depends": [], + "resource": [], + "conflicts": [], + "patches": [], + "install": [ + "system \"./configure\", \"--disable-debug\",", + "\"--disable-dependency-tracking\",", + "\"--disable-silent-rules\",", + "\"--prefix=#{prefix}\"", + "bin.mkpath", + "man1.mkpath", + "system \"make\", \"install\"" + ], + "version": "2.3.13", + "file": "kimwitu++.rb" +}
\ No newline at end of file |