diff options
Diffstat (limited to 'src/ghdldrv/ghdllocal.ads')
| -rw-r--r-- | src/ghdldrv/ghdllocal.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads index d64846f78..7c5d19319 100644 --- a/src/ghdldrv/ghdllocal.ads +++ b/src/ghdldrv/ghdllocal.ads @@ -108,6 +108,14 @@ package Ghdllocal is function Build_Dependence (Prim : String_Access; Sec : String_Access) return Iir_List; + -- Return True iff file FILE has been modified (the file time stamp does + -- no correspond to what was recorded in the library). + function Source_File_Modified (File : Iir_Design_File) return Boolean; + + -- Return True iff FILE need to be analyzed because one of its dependences + -- has been analyzed more recently. + function Is_File_Outdated (File : Iir_Design_File) return Boolean; + Prim_Name : String_Access; Sec_Name : String_Access; |