diff options
Diffstat (limited to 'src/ghdldrv/ghdllocal.ads')
| -rw-r--r-- | src/ghdldrv/ghdllocal.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads index 2c7018a..d64846f 100644 --- a/src/ghdldrv/ghdllocal.ads +++ b/src/ghdldrv/ghdllocal.ads @@ -90,6 +90,9 @@ package Ghdllocal is -- Get Prefix_Path, but with 32 added if -m32 is requested function Get_Machine_Path_Prefix return String; + -- Subprocedure for --disp-config: display prefixes. + procedure Disp_Config_Prefixes; + -- Setup standard libaries path. If LOAD is true, then load them now. procedure Setup_Libraries (Load : Boolean); |