diff options
| author | Tristan Gingold <tgingold@free.fr> | 2015-05-13 06:56:24 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2015-05-13 06:56:24 +0200 |
| commit | 6e168c5503339772dab0768e93a301318d705bcf (patch) | |
| tree | 43e33c2fc03aeb0c61ffe7f520d3a50d74b7ed8a /src/ghdldrv/ghdllocal.adb | |
| parent | 961d55b955d0a1526ebb7a5ddca8acee50b8ab1a (diff) | |
| download | ghdl-6e168c5503339772dab0768e93a301318d705bcf.tar.gz ghdl-6e168c5503339772dab0768e93a301318d705bcf.tar.bz2 ghdl-6e168c5503339772dab0768e93a301318d705bcf.zip | |
Change library format: now store file checksum instead of file time stamp.
For ticket 48.
Diffstat (limited to 'src/ghdldrv/ghdllocal.adb')
| -rw-r--r-- | src/ghdldrv/ghdllocal.adb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb index 6b2a53e7c..8e2eceb94 100644 --- a/src/ghdldrv/ghdllocal.adb +++ b/src/ghdldrv/ghdllocal.adb @@ -1155,8 +1155,8 @@ package body Ghdllocal is if Fe = No_Source_File_Entry then -- FIXME: should remove all the design file from the library. null; - elsif Is_Eq (Get_File_Time_Stamp (Fe), - Get_File_Time_Stamp (File)) + elsif Is_Eq (Get_File_Checksum (Fe), + Get_File_Checksum (File)) then -- File has not been modified. -- Extract libraries. @@ -1283,8 +1283,8 @@ package body Ghdllocal is -- the library. null; else - if not Is_Eq (Get_File_Time_Stamp (Fe), - Get_File_Time_Stamp (File)) + if not Is_Eq (Get_File_Checksum (Fe), + Get_File_Checksum (File)) then -- FILE has been modified. Design_File := Libraries.Load_File (Fe); @@ -1359,8 +1359,8 @@ package body Ghdllocal is -- 2) file has been modified. Fe := Load_Source_File (Get_Design_File_Directory (File), Get_Design_File_Filename (File)); - if not Is_Eq (Get_File_Time_Stamp (Fe), - Get_File_Time_Stamp (File)) + if not Is_Eq (Get_File_Checksum (Fe), + Get_File_Checksum (File)) then if Flag_Verbose then Put_Line ("file " & Name_Table.Image (Get_File_Name (Fe)) |