Ticket #37559: Portfile-rrdtool.diff
File Portfile-rrdtool.diff, 703 bytes (added by alex_a_bordeaux@…, 12 years ago) |
---|
-
Portfile
old new 69 69 70 70 variant gtksourceview description "enable gtksourceview support" { 71 71 configure.args-delete --without-gtksourceview 72 configure.args-append --with-gtksourceview 73 depends_lib-append port:gtksourceview 72 configure.args-append --with-gtksourceview 73 depends_lib-append port:gtksourceview 74 } 75 76 variant gtksourceview2 description "enable gtksourceview2 support" { 77 configure.args-delete --without-gtksourceview 78 configure.args-append --with-gtksourceview2 79 depends_lib-append port:gtksourceview2 74 80 } 75 81 76 82 livecheck.type regex