diff options
author | gingold | 2006-10-02 04:18:48 +0000 |
---|---|---|
committer | gingold | 2006-10-02 04:18:48 +0000 |
commit | 17450f134e39ffa345eab48dd9aec6127a893946 (patch) | |
tree | 485583076df7918266cc00550cea159e6a9e65a2 /translate/ghdldrv/ghdldrv.adb | |
parent | 34c8fdb9e08041c7bd3ee344cbd73a9a46ecc4bd (diff) | |
download | ghdl-17450f134e39ffa345eab48dd9aec6127a893946.tar.gz ghdl-17450f134e39ffa345eab48dd9aec6127a893946.tar.bz2 ghdl-17450f134e39ffa345eab48dd9aec6127a893946.zip |
support of GHDL_PREFIX env variable, use ghdl_release instead of ghdl_version
Diffstat (limited to 'translate/ghdldrv/ghdldrv.adb')
-rw-r--r-- | translate/ghdldrv/ghdldrv.adb | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/translate/ghdldrv/ghdldrv.adb b/translate/ghdldrv/ghdldrv.adb index 14e6129..52b7e5a 100644 --- a/translate/ghdldrv/ghdldrv.adb +++ b/translate/ghdldrv/ghdldrv.adb @@ -741,7 +741,25 @@ package body Ghdldrv is end if; Put ("linker command: "); Put_Line (Linker_Cmd); + + Put ("command line prefix (--PREFIX): "); + if Prefix_Path = null then + Put_Line ("(not set)"); + else + Put_Line (Prefix_Path.all); + end if; Setup_Libraries (False); + + Put ("environment prefix (GHDL_PREFIX): "); + if Prefix_Env = null then + Put_Line ("(not set)"); + else + Put_Line (Prefix_Env.all); + end if; + + Put_Line ("default prefix: " & Default_Pathes.Prefix); + Put_Line ("actual prefix: " & Prefix_Path.all); + Put ("library directory: "); Put_Line (Get_Machine_Path_Prefix); Locate_Tools; @@ -1572,7 +1590,7 @@ package body Ghdldrv is Put_Line ("# Makefile automatically generated by ghdl"); Put ("# Version: "); - Put (Version.Ghdl_Version); + Put (Version.Ghdl_Release); Put (" - "); if Version_String /= null then Put (Version_String.all); |