#1897: MPI thorn builds when it shouldn't ------------------------------------+--------------------------------------- Reporter: hinder | Owner: Type: defect | Status: review Priority: blocker | Milestone: ET_2016_05 Component: EinsteinToolkit thorn | Version: development version Resolution: | Keywords: MPI ------------------------------------+---------------------------------------
Comment (by knarf):
Replying to [comment:3 knarf]:
The date of that file has to update whenever that library changed (when
built).
It also needs to change after each invocation of the detect script, if the library was still detected. This is because the make-mechanism can then use this file to determine whether to build or not build the library. This is what is currently missing, and can lead to the unnecessary builds if the library is available elsewhere, and build.sh is updated. (make compares the date of 'done' (and later 'available') to the date of 'build.sh')