aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-readline.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2022-05-15 05:56:04 +0200
committerTristan Gingold <tgingold@free.fr>2022-05-15 05:59:11 +0200
commit5c277844959d86991e45e1491a8b52d82150cf9d (patch)
tree9911e8a07531d9f7212e11e18fe2c3612b9e6935 /src/grt/grt-readline.ads
parent511075ef4fee902e256551cb31b913de569016f3 (diff)
downloadghdl-5c277844959d86991e45e1491a8b52d82150cf9d.tar.gz
ghdl-5c277844959d86991e45e1491a8b52d82150cf9d.tar.bz2
ghdl-5c277844959d86991e45e1491a8b52d82150cf9d.zip
grt: add grt-readline_gnu and grt-readline_none
grt-readline is now a renaming of grt-readline_gnut
Diffstat (limited to 'src/grt/grt-readline.ads')
-rw-r--r--src/grt/grt-readline.ads16
1 files changed, 2 insertions, 14 deletions
diff --git a/src/grt/grt-readline.ads b/src/grt/grt-readline.ads
index 5eb1b5c7f..12739f07c 100644
--- a/src/grt/grt-readline.ads
+++ b/src/grt/grt-readline.ads
@@ -1,14 +1,2 @@
--- Although being part of GRT, the readline binding should be independent of
--- it (for easier reuse).
-
-with Grt.Types; use Grt.Types;
-
-package Grt.Readline is
- function Readline (Prompt : Ghdl_C_String) return Ghdl_C_String;
- pragma Import (C, Readline);
-
- procedure Add_History (Line : Ghdl_C_String);
- pragma Import (C, Add_History);
-
- pragma Linker_Options ("-lreadline");
-end Grt.Readline;
+with Grt.Readline_Gnu;
+package Grt.Readline renames Grt.Readline_Gnu;