diff options
| author | Greg Hudson <ghudson@mit.edu> | 2013-12-20 18:42:04 -0500 |
|---|---|---|
| committer | Greg Hudson <ghudson@mit.edu> | 2013-12-20 23:10:03 -0500 |
| commit | 3a4a4fd6f70bde630bba09bb268c8558de9a326e (patch) | |
| tree | 510e72a8f6fa01080c39b2d38e0dad426fa0c597 /src/config | |
| parent | 94da4584645475272abec6259d1666e34bd59594 (diff) | |
| download | krb5-3a4a4fd6f70bde630bba09bb268c8558de9a326e.tar.gz krb5-3a4a4fd6f70bde630bba09bb268c8558de9a326e.tar.xz krb5-3a4a4fd6f70bde630bba09bb268c8558de9a326e.zip | |
Require built-in verto for make depend
A tree configured to use the system libverto will be missing
$(VERTO_DEPS) in dependencies, so disallow make depend.
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/post.in | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/config/post.in b/src/config/post.in index 3439d92a78..07816ed841 100644 --- a/src/config/post.in +++ b/src/config/post.in @@ -52,6 +52,14 @@ depend-verify-ss-k5: depend-verify-ss-sys: @echo 1>&2 error: cannot build dependencies using system ss package @exit 1 +$(BUILDTOP)/.depend-verify-verto: depend-verify-verto-$(VERTO_VERSION) +depend-verify-verto-k5: + @if test -r $(BUILDTOP)/.depend-verify-verto; then :; \ + else (set -x; touch $(BUILDTOP)/.depend-verify-verto); fi +depend-verify-verto-sys: + @echo 1>&2 error: cannot build dependencies using system verto package + @echo 1>&2 Please configure with --without-system-verto + @exit 1 $(BUILDTOP)/.depend-verify-gcc: depend-verify-gcc-@HAVE_GCC@ depend-verify-gcc-yes: @if test -r $(BUILDTOP)/.depend-verify-gcc; then :; \ @@ -62,7 +70,8 @@ depend-verify-gcc-no: @exit 1 DEP_CFG_VERIFY = $(BUILDTOP)/.depend-verify-srcdir \ - $(BUILDTOP)/.depend-verify-et $(BUILDTOP)/.depend-verify-ss + $(BUILDTOP)/.depend-verify-et $(BUILDTOP)/.depend-verify-ss \ + $(BUILDTOP)/.depend-verify-verto DEP_VERIFY = $(DEP_CFG_VERIFY) $(BUILDTOP)/.depend-verify-gcc .d: $(ALL_DEP_SRCS) $(DEP_CFG_VERIFY) depend-dependencies |