From 676c48e474f959bcb7b78785be141a037babef12 Mon Sep 17 00:00:00 2001
From: Pietro Cerutti <gahr@gahr.ch>
Date: Mon, 19 Feb 2018 12:38:23 +0000
Subject: [PATCH] Allow choosing a particular version of BerkeleyDB via
 --with-bdb-version (#1064)

Fix #1005
---
 auto.def | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/auto.def b/auto.def
index 66da8bf6c7c..ed41646570a 100644
--- a/auto.def
+++ b/auto.def
@@ -74,6 +74,7 @@ options {
 # Header cache
   bdb=0                     => "Use BerkeleyDB for the header cache"
   with-bdb:path             => "Location of BerkeleyDB"
+  with-bdb-version:version  => "Version of BerkeleyDB"
   gdbm=0                    => "Use GNU dbm for the header cache"
   with-gdbm:path            => "Location of GNU dbm"
   kyotocabinet=0            => "Use KyotoCabinet for the header cache"
@@ -637,7 +638,7 @@ if {[get-define want-idn]} {
 ###############################################################################
 # Header cache - bdb
 if {[get-define want-bdb]} {
-  set bdb_versions { 5.3 6.2 4.8 } ;# Will be checked in order
+  set bdb_versions [opt-val with-bdb-version { 5.3 6.2 4.8 }] ;# Will be checked in order
   set bdb_prefix [opt-val with-bdb $prefix]
 
   foreach ver $bdb_versions {