From 0662a3c1b1f4644a86bf8e5073d1391808c91b4a Mon Sep 17 00:00:00 2001
From: Devin Matthews <dmatthews@utexas.edu>
Date: Tue, 25 Oct 2016 12:42:44 -0500
Subject: [PATCH] Add flexible options for thread model (pthread/posix for
 pthreads etc.).

---
 configure | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 820857334..3a1e296a7 100755
--- a/configure
+++ b/configure
@@ -506,11 +506,14 @@ main()
 		echo "${script_name}: using OpenMP for threading."
 		enable_openmp='yes'
 		enable_openmp_01=1
-	elif [ "x${threading_model}" = "xpthreads" ]; then
+	elif [ "x${threading_model}" = "xpthreads" ] ||
+	     [ "x${threading_model}" = "xpthread" ] ||
+	     [ "x${threading_model}" = "xposix" ]; then
 		echo "${script_name}: using Pthreads for threading."
 		enable_pthreads='yes'
 		enable_pthreads_01=1
-	elif [ "x${threading_model}" = "xno" ]; then
+	elif [ "x${threading_model}" = "xno" ] ||
+	     [ "x${threading_model}" = "xnone" ]; then
 		echo "${script_name}: threading is disabled."
 	else
 		echo "Unsupported threading model: ${threading_model}."