Ticket #14191: gnome-planner-0.14.2-update.diff
File gnome-planner-0.14.2-update.diff, 1.2 KB (added by billitch@…, 17 years ago) |
---|
-
dports/gnome/planner/Portfile
1 1 # $Id$ 2 2 PortSystem 1.0 3 3 name planner 4 version 0.14. 14 version 0.14.2 5 5 revision 1 6 6 categories x11 gnome 7 maintainers nomaintainer7 maintainers billitch@gmail.com 8 8 description Project management application for GNOME 2 9 9 long_description \ 10 10 Planner is a tool for planning, scheduling and tracking \ … … 14 14 Planner is part of GNOME Office, a productivity suite \ 15 15 composed of entirely free software, integrated with the \ 16 16 GNOME Desktop. 17 homepage http:// planner.imendio.org/17 homepage http://live.gnome.org/Planner 18 18 platforms darwin 19 19 master_sites gnome:sources/planner/0.14/ 20 checksums md5 2cb0d0c2c34832611dbb489d498e615820 checksums md5 d03081c6562a94b64628689500f55195 21 21 distname planner-${version} 22 22 use_bzip2 yes 23 23 … … 38 38 --enable-eds \ 39 39 --mandir=${prefix}/share/man 40 40 41 variant debug { 42 # Enable debug 43 configure.cflags-delete -O2 44 configure.cflags-append -O0 -g 45 } 46 41 47 post-activate { 42 48 system "update-mime-database ${prefix}/share/mime" 43 49 }