diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-28 13:41:47 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-28 13:41:47 +0000 |
| commit | cd242ce756b03d5f51da003c70f7e634319320a2 (patch) | |
| tree | db6086c3ae73f0706f8134c8f2c1116bf5603739 /gcc/ada/makeutl.ads | |
| parent | 339f24d2908e0ccfef3ad9e1f03dd17d9b3d93b8 (diff) | |
| download | gcc-cd242ce756b03d5f51da003c70f7e634319320a2.tar.gz | |
2009-07-28 Emmanuel Briot <briot@adacore.com>
* make.adb, makeutl.adb, makeutl.ads (Project_Tree): Duplicates the
global variable that also exists in makeutl.ads, and that some routines
in that package use already.
(Check): Moved part of the code to makeutl.adb for better sharing with
gprbuild.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150157 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/makeutl.ads')
| -rw-r--r-- | gcc/ada/makeutl.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/makeutl.ads b/gcc/ada/makeutl.ads index e33369f4bd3..09d8c2bdce6 100644 --- a/gcc/ada/makeutl.ads +++ b/gcc/ada/makeutl.ads @@ -23,6 +23,7 @@ -- -- ------------------------------------------------------------------------------ +with ALI; with Namet; use Namet; with Opt; with Osint; @@ -77,6 +78,11 @@ package Makeutl is -- Returns True if the unit is in one of the project file, but the file -- name is not one of its source. Returns False otherwise. + function Check_Source_Info_In_ALI (The_ALI : ALI.ALI_Id) return Boolean; + -- Check whether all file references in ALI are still valid (ie the source + -- files are still associated with the same units). + -- Return True if everything is still valid + function Is_External_Assignment (Argv : String) return Boolean; -- Verify that an external assignment switch is syntactically correct -- |