Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
653e750a
Commit
653e750a
authored
Jul 10, 2020
by
Jerome Hugues
Browse files
* Restore Compiler_Version
For openaadl/ocarina#265
parent
b67d02e7
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/config/ocarina-configuration.adb.in
View file @
653e750a
...
@@ -47,7 +47,7 @@ with Ocarina.Analyzer;
...
@@ -47,7 +47,7 @@ with Ocarina.Analyzer;
with
Ocarina
.
Options
;
use
Ocarina
.
Options
;
with
Ocarina
.
Options
;
use
Ocarina
.
Options
;
with
Ocarina
.
Parser
;
use
Ocarina
.
Parser
;
with
Ocarina
.
Parser
;
use
Ocarina
.
Parser
;
--
with
GNAT
.
Compiler_Version
;
with
GNAT
.
Compiler_Version
;
with
GNAT
.
OS_Lib
;
use
GNAT
.
OS_Lib
;
with
GNAT
.
OS_Lib
;
use
GNAT
.
OS_Lib
;
with
GNAT
.
Source_Info
;
with
GNAT
.
Source_Info
;
with
Ada
.
Command_Line
;
use
Ada
.
Command_Line
;
with
Ada
.
Command_Line
;
use
Ada
.
Command_Line
;
...
@@ -287,7 +287,7 @@ package body Ocarina.Configuration is
...
@@ -287,7 +287,7 @@ package body Ocarina.Configuration is
-------------
-------------
procedure Version is
procedure Version is
--
package Compiler_Version is new GNAT.Compiler_Version;
package Compiler_Version is new GNAT.Compiler_Version;
begin
begin
Write_Line
Write_Line
...
@@ -297,7 +297,7 @@ package body Ocarina.Configuration is
...
@@ -297,7 +297,7 @@ package body Ocarina.Configuration is
Ocarina_Last_Configure_Year &
Ocarina_Last_Configure_Year &
" ESA & ISAE");
" ESA & ISAE");
Write_Line ("Build date: " & Ocarina_Last_Configure_Date);
Write_Line ("Build date: " & Ocarina_Last_Configure_Date);
--
Write_Line ("Compiled with: " & Compiler_Version.Version);
Write_Line ("Compiled with: " & Compiler_Version.Version);
end Version;
end Version;
end Ocarina.Configuration;
end Ocarina.Configuration;
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment