diff options
Diffstat (limited to 'translate/ghdldrv/ghdllocal.ads')
| -rw-r--r-- | translate/ghdldrv/ghdllocal.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/translate/ghdldrv/ghdllocal.ads b/translate/ghdldrv/ghdllocal.ads index 817cc8fd5..f55503a5d 100644 --- a/translate/ghdldrv/ghdllocal.ads +++ b/translate/ghdldrv/ghdllocal.ads @@ -53,6 +53,9 @@ package Ghdllocal is -- Path prefix for libraries. Prefix_Path : String_Access := null; + -- getenv ("GHDL_PREFIX"). Set by Setup_Libraries. + Prefix_Env : String_Access := null; + Nul : constant Character := Character'Val (0); -- Return FILENAME without the extension. |