diff options
author | Tristan Gingold <tgingold@free.fr> | 2022-05-15 05:56:04 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2022-05-15 05:59:11 +0200 |
commit | 5c277844959d86991e45e1491a8b52d82150cf9d (patch) | |
tree | 9911e8a07531d9f7212e11e18fe2c3612b9e6935 /src/grt/grt-readline.ads | |
parent | 511075ef4fee902e256551cb31b913de569016f3 (diff) | |
download | ghdl-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.ads | 16 |
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; |