pure-gtk is a collection of bindings to use the GTK+ GUI toolkit version 2.x
with Pure. The bindings include the gtk (+gdk), glib, atk, cairo and pango
libraries, each in their own Pure module.
WWW: https://puredocs.bitbucket.io/pure-gtk.html
===> The following configuration options are available for pure-gtk-0.13:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
According to the Porter's Handbook (5.12.2.3.) default options must be added to
OPTIONS_DEFINE. This policy has been implemented only recently that's why we
have many ports violating this policy.
This patch adds the default options specified in the Porter's Handbook to
OPTIONS_DEFINE where they are being used. Ports maintained by
gnome@FreeBSD.org, kde@FreeBSD.org and x11@FreeBSD.org have been excluded.
Approved by: portmgr (bapt)
Update distinfo. Upstream patched the original distfile to automate inclusion
of a version number. Any further changes will be accompanied by a version bump.
PR: ports/162517
Submitted by: Doug Spangler <foepah@gmail.com>
Approved by: Zhihao Yuan <lichray@gmail.com> (maintainer)
Feature safe: yes
pure-gtk is a collection of bindings to use the GTK+ GUI toolkit version 2.x
with Pure. The bindings include the gtk (+gdk), glib, atk, cairo and pango
libraries, each in their own Pure module.
WWW: http://docs.pure-lang.googlecode.com/hg/pure-gtk.html
PR: ports/156103
Submitted by: Zhihao Yuan <lichray at gmail.com>
