#954: Rename configure scripts to "configure.sh" ------------------------------------+--------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: closed Priority: minor | Milestone: Component: EinsteinToolkit thorn | Version: Resolution: fixed | Keywords: ------------------------------------+---------------------------------------
Comment (by eschnett):
Can you open a ticket for this, and add this discussion?
The script itself already checks a few conditions to find out whether the library needs rebuilding. One way would be to add a new DEPENDENCIES output to the script, which the flesh then processes when it decides whether to run the CST.