[ET Trac] [Einstein Toolkit] #1897: MPI thorn builds when it shouldn't

[Einstein Toolkit]

#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

-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/1897#comment:11>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit