aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv/ghdllocal.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/ghdldrv/ghdllocal.ads')
-rw-r--r--src/ghdldrv/ghdllocal.ads7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads
index 0809035b1..3624543d8 100644
--- a/src/ghdldrv/ghdllocal.ads
+++ b/src/ghdldrv/ghdllocal.ads
@@ -23,13 +23,16 @@ package Ghdllocal is
-- Init procedure for the functionnal interface.
procedure Compile_Init;
+ -- Handle:
+ -- --std=xx, --work=xx, -Pxxx, --workdir=x, --ieee=x, -Px, and -v
+ function Decode_Driver_Option (Option : String) return Boolean;
+
type Command_Lib is abstract new Command_Type with null record;
-- Setup GHDL. Same as Compile_Init.
procedure Init (Cmd : in out Command_Lib);
- -- Handle:
- -- --std=xx, --work=xx, -Pxxx, --workdir=x, --ieee=x, -Px, and -v
+ -- Handle driver options.
procedure Decode_Option (Cmd : in out Command_Lib;
Option : String;
Arg : String;