#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 rhaas):
I think "available" maybe misleading. As far as I can tell we may need something like:
* 'done' which is created/set by detect.sh if a system library is used and by build.sh once it finishes, 'done' is the file that make.depend depends on and hence each time that detect.sh runs and sets 'done' the thornlib is updated and Formaline includes the thorn source * 'do_build' which is created/set by detect if buidl.sh should run, 'done' lists 'do_build' as a prereq and the recipe for 'done' is build.sh