Ticket #16789: patch-Portfile.diff

File patch-Portfile.diff, 1.1 KB (added by myschizobuddy@…, 12 years ago)
  • Portfile

     
    55
    66name            webkit-gtk
    77version         r30707
     8revision        1
    89description     Apple's WebKit HTML rendering library for GTK+
    910long_description ${description}
    10 maintainers     nomaintainer
     11maintainers     myschizobuddy@gmail.com
    1112categories      www gnome
    1213platforms       darwin freebsd
    1314homepage        http://webkit.org
     
    2122
    2223depends_lib     \
    2324        port:curl \
    24         port:gnome-vfs \
    25         port:gstreamer \
    26         port:gst-plugins-base \
    2725        port:gtk2 \
    2826        port:icu \
    2927        port:libxslt \
     
    3735}
    3836
    3937configure.cmd   ./autogen.sh
    40 configure.args  --enable-svg \
    41                 --enable-video
     38configure.args  --enable-svg --enable-icon-database
     39
     40variant video description {Add gstreamer video support} {
     41        depends_lib-append              port:gstreamer \
     42                                                        port:gst-plugins-base \
     43                                                        port:gnome-vfs
     44        configure.args-append   --enable-video
     45}
     46variant svg_experimental description {Enable SVG experimental features} {
     47        configure.args-append   --enable-svg-experimental
     48}
     49variant no_svg description {Disable SVG support} {
     50        configure.args-delete   --enable-svg
     51        configure.args-append   --disable-svg
     52}