diff options
Diffstat (limited to 'src/grt/grt-readline_gnu.ads')
-rw-r--r-- | src/grt/grt-readline_gnu.ads | 12 |
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; |