#1173: ExternalLibraries build environment problems ------------------------------------+--------------------------------------- Reporter: hinder | Owner: Type: defect | Status: reviewed_ok Priority: major | Milestone: ET_2013_05 Component: EinsteinToolkit thorn | Version: Resolution: | Keywords: zlib hwloc ------------------------------------+---------------------------------------
Comment (by eschnett):
The meaning of NO_BUILD is that the configure.sh script should (a) not search for the library (since MPI_DIR is not empty), and (b) it should not be built either. Presumably, the system knows how to find/use MPI in some other way. The variables MPI_INC_DIRS should be left empty in this case.