From 5005b67362a735dc18d3d85170eae34e1fb6feab Mon Sep 17 00:00:00 2001 From: Emanuel Haupt Date: Mon, 10 Feb 2014 13:54:26 +0000 Subject: 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) --- java/cryptix-jce/Makefile | 3 +++ java/jakarta-commons-httpclient/Makefile | 3 +++ java/java3d/Makefile | 3 +++ 3 files changed, 9 insertions(+) (limited to 'java') diff --git a/java/cryptix-jce/Makefile b/java/cryptix-jce/Makefile index 9f6f8a633e96..3484e72713e0 100644 --- a/java/cryptix-jce/Makefile +++ b/java/cryptix-jce/Makefile @@ -16,6 +16,9 @@ USE_ZIP= yes NO_BUILD= yes NO_STAGE= yes + +OPTIONS_DEFINE= DOCS + .include do-install: diff --git a/java/jakarta-commons-httpclient/Makefile b/java/jakarta-commons-httpclient/Makefile index 5379b4de6b0d..2bd8cff43ff7 100644 --- a/java/jakarta-commons-httpclient/Makefile +++ b/java/jakarta-commons-httpclient/Makefile @@ -33,6 +33,9 @@ PLIST_FILES= %%JAVAJARDIR%%/${PORTNAME}.jar PORTDOCS= * NO_STAGE= yes + +OPTIONS_DEFINE= DOCS + .include post-patch: diff --git a/java/java3d/Makefile b/java/java3d/Makefile index 90499ad5405d..2b863ecffada 100644 --- a/java/java3d/Makefile +++ b/java/java3d/Makefile @@ -26,6 +26,9 @@ DOCSSRC= ${WRKSRC}/j3d-core/build/freebsd/javadocs/docs-public PORTDOCS= * NO_STAGE= yes + +OPTIONS_DEFINE= DOCS + .include post-patch: -- cgit v1.2.3