diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-08-08 07:23:51 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-08-10 09:47:28 +0200 |
| commit | cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f (patch) | |
| tree | 6fced3e0d1338c78413db14acefa99ba17c0b2c7 /src/ghdldrv/ghdldrv.adb | |
| parent | 258bbf955b78fd9838c23b1d3e36c8ce6f90f6cc (diff) | |
| download | ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.tar.gz ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.tar.bz2 ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.zip | |
Add support for --time-resolution (jit only). Fix #613
Diffstat (limited to 'src/ghdldrv/ghdldrv.adb')
| -rw-r--r-- | src/ghdldrv/ghdldrv.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdldrv.adb b/src/ghdldrv/ghdldrv.adb index b68c46850..31d4a530b 100644 --- a/src/ghdldrv/ghdldrv.adb +++ b/src/ghdldrv/ghdldrv.adb @@ -677,6 +677,11 @@ package body Ghdldrv is Add_Argument (Compiler_Args, new String'(Opt)); end if; Res := Option_Ok; + elsif Opt'Length > 18 + and then Opt (1 .. 18) = "--time-resolution=" + then + Error ("option --time-resolution not supported by back-end"); + raise Option_Error; elsif Opt'Length >= 2 and then (Opt (2) = 'O' or Opt (2) = 'f') then |