diff options
Diffstat (limited to 'lib/make/make.configuration')
| -rw-r--r-- | lib/make/make.configuration | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/make/make.configuration b/lib/make/make.configuration index 94268a2e..9c6b0a51 100644 --- a/lib/make/make.configuration +++ b/lib/make/make.configuration @@ -206,6 +206,8 @@ include $(CONFIG)/make.config.deps # Rule to build the make.thornlist file from the ThornList file +rebuild: $(CONFIG)/make.thornlist + $(CONFIG)/make.thornlist: $(TOP)/ThornList $(foreach lib, $(CCTK_HOME)/src $(THORNS:%=$(PACKAGE_DIR)/%), $(lib)/param.ccl $(lib)/interface.ccl $(lib)/schedule.ccl) $(CONFIG_THORNS:%=$(PACKAGE_DIR)/%/configuration.ccl) $(CCTK_HOME)/lib/make/force-rebuild if [ -r $@ ] ; then echo Reconfiguring thorns ; rm $@ ;\ else echo Processing CCL files ; fi |