diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-05 14:17:46 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 21:02:21 +0100 |
commit | 0747980c3e8bf101abee2aad730f03da1411d318 (patch) | |
tree | 4b924514b63bd19c91fe2824f764893c12137d5e /src | |
parent | 156c2fe69ef9a08084196721cc13df8ea2a694e6 (diff) | |
download | ghdl-0747980c3e8bf101abee2aad730f03da1411d318.tar.gz ghdl-0747980c3e8bf101abee2aad730f03da1411d318.tar.bz2 ghdl-0747980c3e8bf101abee2aad730f03da1411d318.zip |
version: add Ref and Hash
Diffstat (limited to 'src')
-rw-r--r-- | src/bug.adb | 6 | ||||
-rw-r--r-- | src/version.in | 15 |
2 files changed, 17 insertions, 4 deletions
diff --git a/src/bug.adb b/src/bug.adb index 334717399..f16f62d5f 100644 --- a/src/bug.adb +++ b/src/bug.adb @@ -19,7 +19,7 @@ with Ada.Command_Line; use Ada.Command_Line; with GNAT.Directory_Operations; with Simple_IO; use Simple_IO; -with Version; use Version; +with Version; package body Bug is -- Declared in the files generated by gnatbind. @@ -69,7 +69,9 @@ package body Bug is ("******************** GHDL Bug occurred ***************************"); Put_Line_Err ("Please report this bug on https://github.com/ghdl/ghdl/issues"); - Put_Line_Err ("GHDL release: " & Ghdl_Ver & ' ' & Ghdl_Release); + Put_Line_Err ( "GHDL release: " & + Version.Ghdl_Ver & ' ' & Version.Ghdl_Release + ); Put_Line_Err ("Compiled with " & Get_Gnat_Version); Put_Line_Err ("Target: " & Standard'Target_Name); Put_Line_Err (GNAT.Directory_Operations.Get_Current_Dir); diff --git a/src/version.in b/src/version.in index b12295dab..1d03bc7ea 100644 --- a/src/version.in +++ b/src/version.in @@ -1,5 +1,16 @@ package Version is - Ghdl_Ver : constant String := "@VER@"; + + Ghdl_Ver : constant String := + "@VER@"; + + Ghdl_Ref : constant String := + "@REF@"; + + Ghdl_Hash : constant String := + "@HASH@"; + Ghdl_Release : constant String := - "(tarball) [Dunoon edition]"; + "(@DESC@)" & + " [Dunoon edition]"; + end Version; |