summaryrefslogtreecommitdiffstats
path: root/specs/pki-console.spec
diff options
context:
space:
mode:
authorEndi S. Dewata <edewata@redhat.com>2013-11-25 12:43:03 -0500
committerEndi S. Dewata <edewata@redhat.com>2013-12-06 03:18:23 -0500
commit8f6de6fd339c156ce3aad13ad5d45b635d194f79 (patch)
tree3d1b97403808f88a87b9e75aa6afc8e7280e8f8b /specs/pki-console.spec
parent3adfccf442916b1f91177097a1ad318d1a2e7838 (diff)
downloadpki-8f6de6fd339c156ce3aad13ad5d45b635d194f79.tar.gz
pki-8f6de6fd339c156ce3aad13ad5d45b635d194f79.tar.xz
pki-8f6de6fd339c156ce3aad13ad5d45b635d194f79.zip
Added option to build without server packages.
The build scripts have been modified to accept an optional parameter to build pki-core without the server packages.
Diffstat (limited to 'specs/pki-console.spec')
-rw-r--r--specs/pki-console.spec6
1 files changed, 5 insertions, 1 deletions
diff --git a/specs/pki-console.spec b/specs/pki-console.spec
index 38394098f..c7827b8cf 100644
--- a/specs/pki-console.spec
+++ b/specs/pki-console.spec
@@ -6,6 +6,8 @@ URL: http://pki.fedoraproject.org/
License: GPLv2
Group: System Environment/Base
+%bcond_without javadoc
+
BuildArch: noarch
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
@@ -61,7 +63,9 @@ cd build
-DVAR_INSTALL_DIR:PATH=/var \
-DBUILD_PKI_CONSOLE:BOOL=ON \
-DJAVA_LIB_INSTALL_DIR=%{_jnidir} \
- %{?_without_javadoc:-DWITH_JAVADOC:BOOL=OFF} \
+%if ! %{with javadoc}
+ -DWITH_JAVADOC:BOOL=OFF \
+%endif
..
%{__make} VERBOSE=1 %{?_smp_mflags}