grt: add grt-readline_gnu and grt-readline_none

grt-readline is now a renaming of grt-readline_gnut

1 files changed, 12 insertions, 0 deletions

diff --git a/src/grt/grt-readline_gnu.ads b/src/grt/grt-readline_gnu.ads
new file mode 100644
index 000000000..4d0fc5473
--- /dev/null
+++ b/src/grt/grt-readline_gnu.ads
@@ -0,0 +1,12 @@
+--  Binding to GNU readline
+with Grt.Types; use Grt.Types;
+
+package Grt.Readline_Gnu 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_Gnu;