Add conditional for PKI stuff.

diff --git a/configure.in b/configure.in
index de7fc487e4fe18e458474e3ba966ac2b3f8f67f1..39907ec9b8799190289cfe669dd1e0e1a8392420 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -351,6 +351,7 @@ else
  ac_full=0
  AC_MSG_RESULT(yes)
 fi
+AM_CONDITIONAL(ENABLE_PKI, test "$ac_enable_pki" = "yes")
 
 dnl Check whether to disable OpenPGP authentication completely
 dnl from libgnutls-extra.
@@ -612,7 +613,7 @@ AC_CONFIG_COMMANDS([chmod-config],[[
 AC_CONFIG_FILES([Makefile po/Makefile.in \
        doc/Makefile doc/examples/Makefile doc/scripts/Makefile \
        doc/manpages/Makefile doc/reference/Makefile \
-       gl/Makefile lgl/Makefile src/lib/Makefile \
+       gl/Makefile lgl/Makefile \
        tests/Makefile tests/rsa-md5-collision/Makefile tests/userid/Makefile \
        tests/pkcs1-padding/Makefile tests/pkcs8-decode/Makefile \
        tests/pkcs12-decode/Makefile tests/pathlen/Makefile \