From b23b7a81748f8d1ae9c746de41090f2bd0448e0d Mon Sep 17 00:00:00 2001
From: Tomas Hlavaty <tom@logand.com>
Date: Tue, 13 Dec 2016 22:35:16 +0100
Subject: [PATCH] ecl: add threadSupport option

---
 pkgs/development/compilers/ecl/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/ecl/default.nix b/pkgs/development/compilers/ecl/default.nix
index cfaf8184c690..60293fa2ec18 100644
--- a/pkgs/development/compilers/ecl/default.nix
+++ b/pkgs/development/compilers/ecl/default.nix
@@ -3,6 +3,7 @@
 , gmp, mpfr, libffi, makeWrapper
 , noUnicode ? false
 , gcc
+, threadSupport ? true
 }:
 let
   s = # Generated upstream information
@@ -30,7 +31,7 @@ stdenv.mkDerivation {
   };
 
   configureFlags = [
-    "--enable-threads"
+    (if threadSupport then "--enable-threads" else "--disable-threads")
     "--with-gmp-prefix=${gmp.dev}"
     "--with-libffi-prefix=${libffi.dev}"
     ]