+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.
-- 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 --
------------------
-- 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
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 --