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 tomcat dependency logic
- Drop TOMCATOWN/TOMCATGRP in favor of defaults WWWOWN/WWWGRP
- Drop war installation. Expand war and install as individual files to account for proper cleanup
Approved by: wen (maintainer), crees (mentor)
different storage formats and deliver it to any client that is able to
perform an according HTTP GET or POST request. At the moment supported
formats are limited to several raster data formats; but in general a
coverage has not to be a raster dataset at all.
WWW: http://www.deegree.org/
PR: ports/133805
Submitted by: wenheping at gmail.com
