diff options
author | Endi S. Dewata <edewata@redhat.com> | 2013-11-25 12:43:03 -0500 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2013-12-06 03:18:23 -0500 |
commit | 8f6de6fd339c156ce3aad13ad5d45b635d194f79 (patch) | |
tree | 3d1b97403808f88a87b9e75aa6afc8e7280e8f8b /specs/pki-console.spec | |
parent | 3adfccf442916b1f91177097a1ad318d1a2e7838 (diff) | |
download | pki-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.spec | 6 |
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} |