From 662813256c0852b535c1b2de06da54d066e89b83 Mon Sep 17 00:00:00 2001
From: Sergei Trofimovich <slyich@gmail.com>
Date: Mon, 11 Jul 2022 07:31:20 +0100
Subject: [PATCH] ntl: explicitly set 'configurePlatforms = [ ];'

Without the change build with config.configurePlatformsByDefault = true
fails as:

    $ nix build -f. ntl --arg config '{ configurePlatformsByDefault = true; }' -L
    ...
    Error: unrecognized option: --build=x86_64-unknown-linux-gnu
---
 pkgs/development/libraries/ntl/default.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/development/libraries/ntl/default.nix b/pkgs/development/libraries/ntl/default.nix
index f204ae68fb52..9335bec35ce8 100644
--- a/pkgs/development/libraries/ntl/default.nix
+++ b/pkgs/development/libraries/ntl/default.nix
@@ -35,6 +35,11 @@ stdenv.mkDerivation rec {
 
   dontAddPrefix = true; # DEF_PREFIX instead
 
+  # Written in perl, does not support autoconf-style
+  # --build=/--host= options:
+  #   Error: unrecognized option: --build=x86_64-unknown-linux-gnu
+  configurePlatforms = [ ];
+
   # reference: http://shoup.net/ntl/doc/tour-unix.html
   configureFlags = [
     "DEF_PREFIX=$(out)"