diff options
| author | schnetter <schnetter@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2004-04-10 19:57:02 +0000 |
|---|---|---|
| committer | schnetter <schnetter@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2004-04-10 19:57:02 +0000 |
| commit | 29737dfc780bff5db9416037bce07664ed1ef767 (patch) | |
| tree | 0d66c0918207ca7a97968efc750c7c676f981855 /Makefile | |
| parent | aa397a0eda47353267bddc22bba358eb8e0dc277 (diff) | |
Introduce the mechanism that forces users to re-configure their
configurations.
(I updated detecting external libraries (MPI, PETSc, etc.) to use a
scheme more sane, and realise only after the fact that people will
have to reconfigure for that.)
git-svn-id: http://svn.cactuscode.org/flesh/trunk@3657 17b73243-c579-4c4c-a9d2-2d5706c11dac
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -16,7 +16,7 @@ # # # @enddesc -# @version $Id: Makefile,v 1.149 2004-03-30 17:49:46 goodale Exp $ +# @version $Id: Makefile,v 1.150 2004-04-10 19:57:02 schnetter Exp $ # @@*/ ################################################################################## @@ -232,6 +232,15 @@ endif .PHONY: $(CONFIGURATIONS) $(CONFIGURATIONS): + if test $(CONFIGS_DIR)/$@/config-info -ot $(CCTK_HOME)/lib/make/force-reconfigure ; then \ + echo $(DIVIDER);\ + echo "Cactus - version: $(CCTK_VERSION)";\ + echo "Error: Configuration $@ is out of date.";\ + echo "Re-run your '$(MAKE) $@-config' command with the appropriate options.";\ + echo "(It is likely that recent changes to the flesh that require this.)";\ + echo $(DIVIDER);\ + exit 1;\ + fi if test "x${MAKELEVEL}" = "x0" ; then \ echo $(DIVIDER);\ echo "Cactus - version: $(CCTK_VERSION)"; \ |