diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 12:42:23 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 12:42:23 +0200 |
| commit | 6eb187f6f31be9ba4e80c08110482291a637ddba (patch) | |
| tree | f3c99a53555f2e73a8a54434a102073917b9f7fc /gcc | |
| parent | 10af62127a5c502da9f5ccc63de4953e3301dfe7 (diff) | |
| download | gcc-6eb187f6f31be9ba4e80c08110482291a637ddba.zip gcc-6eb187f6f31be9ba4e80c08110482291a637ddba.tar.gz gcc-6eb187f6f31be9ba4e80c08110482291a637ddba.tar.bz2 | |
[multiple changes]
2015-05-22 Arnaud Charlet <charlet@adacore.com>
* osint-c.adb, osint-c.ads (Set_File_Name): Move back to spec.
2015-05-22 Pascal Obry <obry@adacore.com>
* prj-util.adb: Minor comment editing.
From-SVN: r223545
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/osint-c.adb | 7 | ||||
| -rw-r--r-- | gcc/ada/osint-c.ads | 5 | ||||
| -rw-r--r-- | gcc/ada/prj-util.adb | 2 |
4 files changed, 14 insertions, 8 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 314aeff..cdc6c04 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2015-05-22 Arnaud Charlet <charlet@adacore.com> + + * osint-c.adb, osint-c.ads (Set_File_Name): Move back to spec. + +2015-05-22 Pascal Obry <obry@adacore.com> + + * prj-util.adb: Minor comment editing. + 2015-05-22 Pascal Obry <obry@adacore.com> * makeutl.ads (In_Place_Option): New constant. diff --git a/gcc/ada/osint-c.adb b/gcc/ada/osint-c.adb index 6f53ae3..33e0a92 100644 --- a/gcc/ada/osint-c.adb +++ b/gcc/ada/osint-c.adb @@ -45,13 +45,6 @@ package body Osint.C is -- output file and Suffix is the desired suffix (dg/rep/xxx for debug/ -- repinfo/list file where xxx is specified extension. - procedure Set_File_Name (Ext : String); - -- Sets a default file name from the main compiler source name. Ext is - -- the extension, e.g. "ali" for a library information file. Used by - -- Create_Output_Library_Info, and by the version of Read_Library_Info that - -- takes a default file name, and also by Create_C_File and Create_H_File. - -- The name is in Name_Buffer (with length in Name_Len) on return. - ------------------ -- Close_C_File -- ------------------ diff --git a/gcc/ada/osint-c.ads b/gcc/ada/osint-c.ads index 550d4e5..177d1f1 100644 --- a/gcc/ada/osint-c.ads +++ b/gcc/ada/osint-c.ads @@ -127,6 +127,11 @@ package Osint.C is -- returned by Next_Main_Source) for appending. This is used to append -- the globals computed in flow analysis in gnatprove mode. + procedure Set_File_Name (Ext : String); + -- Sets a default file name from the main compiler source name. Ext is + -- the extension, e.g. "ali" for a library information file. + -- The name is in Name_Buffer (with length in Name_Len) on return. + procedure Write_Library_Info (Info : String); -- Writes the contents of the referenced string to the library information -- file for the main source file currently being compiled (i.e. the file diff --git a/gcc/ada/prj-util.adb b/gcc/ada/prj-util.adb index 77e26d6..3f3b358 100644 --- a/gcc/ada/prj-util.adb +++ b/gcc/ada/prj-util.adb @@ -806,7 +806,7 @@ package body Prj.Util is function Relative_Path (Pathname : String; To : String) return String is function Ensure_Directory (Path : String) return String; - -- Function spec must be commented ??? + -- Returns Path with an added directory separator if needed ---------------------- -- Ensure_Directory -- |