diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-06-22 20:53:13 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-06-22 21:07:30 +0200 |
| commit | 1e5de3c73a5865cc0df2ee32d1d81c9718c5f44f (patch) | |
| tree | 64a0655d941e335a3ff040ba81f5491173680530 /src/grt/grt-options.adb | |
| parent | 7f9077d0c40b7fe381b3c6278e15ccb9245c909b (diff) | |
| download | ghdl-1e5de3c73a5865cc0df2ee32d1d81c9718c5f44f.tar.gz ghdl-1e5de3c73a5865cc0df2ee32d1d81c9718c5f44f.tar.bz2 ghdl-1e5de3c73a5865cc0df2ee32d1d81c9718c5f44f.zip | |
grt: add grt-strings, use case insensitive compare for vpi_handle_by_name
Fixes potentialventures/cocotb#460
Diffstat (limited to 'src/grt/grt-options.adb')
| -rw-r--r-- | src/grt/grt-options.adb | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 3c4acb215..81fa962f0 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -23,6 +23,7 @@ -- however invalidate any other reasons why the executable file might be -- covered by the GNU Public License. with Interfaces; use Interfaces; +with Grt.Strings; use Grt.Strings; with Grt.Errors; use Grt.Errors; with Grt.Astdio; with Grt.Hooks; @@ -210,15 +211,6 @@ package body Grt.Options is end loop; end Extract_Integer; - function To_Lower (C : Character) return Character is - begin - if C in 'A' .. 'Z' then - return Character'Val (Character'Pos (C) + 32); - else - return C; - end if; - end To_Lower; - procedure Decode_Option (Option : String; Status : out Decode_Option_Status) is |