From 5c277844959d86991e45e1491a8b52d82150cf9d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 15 May 2022 05:56:04 +0200
Subject: grt: add grt-readline_gnu and grt-readline_none

grt-readline is now a renaming of grt-readline_gnut
---
 src/grt/grt-readline_gnu.ads | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/grt/grt-readline_gnu.ads

(limited to 'src/grt/grt-readline_gnu.ads')

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;
-- 
cgit v1.2.3