configure: generate grt-readline.ads

1 files changed, 7 insertions, 0 deletions

diff --git a/configure b/configure
index e2db3fa7d..49edf2f7d 100755
--- a/configure
+++ b/configure
@@ -47,6 +47,7 @@ enable_checks=true
 enable_gplcompat=unknown
 enable_libghdl=true
 enable_synth=true
+with_readline=None
 default_pic=false
 EXEEXT=
 SOEXT=.so
@@ -111,6 +112,7 @@ for opt do
     --with-llvm-config)     llvm_config="llvm-config"; backend=llvm;;
     --with-llvm-config=*)   llvm_config="$optarg";     backend=llvm;;
     --with-backtrace-lib=*) backtrace_lib="$optarg";;
+    --with-readline)        with_readline="Gnu";;
     --enable-werror)        enable_werror=true;;
     --disable-werror)       enable_werror=false;;
     --enable-checks)        enable_checks=true;;
@@ -438,4 +440,9 @@ fi
 echo "with $pkg_synth;" > ghdlsynth_maybe.ads
 echo "package Ghdlsynth_Maybe renames $pkg_synth;" >> ghdlsynth_maybe.ads
 
+# Generate grt-readline.ads
+echo "Generate grt-readline.ads"
+echo "with Grt.Readline_${with_readline};" > grt-readline.ads
+echo "package Grt.Readline renames Grt.Readline_${with_readline};" >> grt-readline.ads
+
 exit 0