#136: Don't rebuild external libraries so often --------------------------+------------------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: review Priority: minor | Milestone: Component: Cactus | Version: Resolution: | Keywords: --------------------------+-------------------------------------------------
Comment (by eschnett):
ExternalLibraries/GSL rebuilds a library whenever (a) the GSL thorn changes, or (b) the file configs/*/scratch/done/GSL is missing, e.g. after a make *-clean. The location of GSL_INSTALL_DIR does not factor into this decision at all! In particular:
- If two Cactus configurations use the same install locations, then the library there will be built twice -- the first will silently be overwritten - If you clean a configuration or remove it, and then rebuild it, the GSL library will be built again, even if it already exists there - If you install GSL into the Cactus source tree, the same thing happens.
You can easily see this in the build script. The test whether to build is done before GSL_INSTALL_DIR is checked.