From 84cc9beed61c1c5daefd2e0bbf85f2442ae2d287 Mon Sep 17 00:00:00 2001
From: Xavier Delaruelle <xavier.delaruelle@cea.fr>
Date: Fri, 7 Aug 2020 06:15:36 +0200
Subject: [PATCH] install: add support for env var and system type set on
 configure

Add support to define environment variable and build system type as
`configure` script arguments to better match GNU configuration
specification.
---
 configure | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index 6cda0f5f..73638c53 100755
--- a/configure
+++ b/configure
@@ -632,8 +632,16 @@ for arg in "$@"; do
       # GNU Configuration specification
       # (https://www.gnu.org/prep/standards/html_node/Configuration.html)
       echo_warning "Option \`$arg' ignored" ;;
-   *)
+   -*)
       echo_error "Unrecognized option \`$arg'" 1;;
+   *=*)
+      echo -e "Export \`$arg' in environment" ;
+      export $arg ;;
+   *)
+      # type of system to build the program for (not needed here but useful
+      # for true autoconf configure scripts below
+      compatarglist+="$arg " ;
+      libarglist+="$arg " ;;
    esac
 done