From de1c213c36101c80f961f2ba24d4188646de8cb5 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 20 Oct 2016 21:02:31 +0200 Subject: Create version.ads from git hash/date in version.ads Fix #161 --- src/version.ads | 5 ----- src/version.in | 5 +++++ 2 files changed, 5 insertions(+), 5 deletions(-) delete mode 100644 src/version.ads create mode 100644 src/version.in (limited to 'src') diff --git a/src/version.ads b/src/version.ads deleted file mode 100644 index 96fa797ee..000000000 --- a/src/version.ads +++ /dev/null @@ -1,5 +0,0 @@ -package Version is - Ghdl_Release : constant String := - "GHDL 0.34-dev (20151126) [Dunoon edition]"; - Ghdl_Ver : constant String := "0.34-dev"; -end Version; diff --git a/src/version.in b/src/version.in new file mode 100644 index 000000000..ba985b7bf --- /dev/null +++ b/src/version.in @@ -0,0 +1,5 @@ +package Version is + Ghdl_Release : constant String := + "GHDL 0.34-dev (tarball) [Dunoon edition]"; + Ghdl_Ver : constant String := "0.34-dev"; +end Version; -- cgit v1.2.3