diff options
| -rw-r--r-- | Makefile.in | 2 | ||||
| -rwxr-xr-x | configure | 7 | ||||
| -rw-r--r-- | src/grt/grt-readline.ads | 2 |
3 files changed, 9 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 6fe7242d2..58a2dc07a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -247,6 +247,7 @@ copy-sources.gcc: version.ads scripts/gcc/Make-lang.in $(RM) -rf $(gcc_vhdl_dir) $(MKDIR) $(gcc_vhdl_dir) $(CP) -p version.ads ghdlsynth_maybe.ads $(gcc_vhdl_dir) + $(CP) -p grt-readline.ads $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/*.ad? $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/vhdl/*.ad? $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/vhdl/translate/*.ad? $(gcc_vhdl_dir) @@ -265,6 +266,7 @@ copy-sources.gcc: version.ads scripts/gcc/Make-lang.in $(CP) -p $(srcdir)/src/grt/grt-files_operations.ad? $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/grt/grt-to_strings.ad? $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/grt/grt-severity.ads $(gcc_vhdl_dir) + $(CP) -p $(srcdir)/src/grt/grt-readline_*.ad? $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/ortho/*.ad? $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/ortho/gcc/*.ad? $(gcc_vhdl_dir) $(CP) -p $(srcdir)/src/ortho/gcc/*.c $(gcc_vhdl_dir) @@ -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 diff --git a/src/grt/grt-readline.ads b/src/grt/grt-readline.ads deleted file mode 100644 index 12739f07c..000000000 --- a/src/grt/grt-readline.ads +++ /dev/null @@ -1,2 +0,0 @@ -with Grt.Readline_Gnu; -package Grt.Readline renames Grt.Readline_Gnu; |