@@ -42,7 +42,17 @@ DMTCP_ROOT ?= $(top_builddir)/dmtcp
4242# Macros TEST and XTERM_E used on command line by check1, check2, ...:
4343# make TEST=readline XTERM_E="xterm -e" check-readline
4444
45+ # MANA configure does configure DMTCP. But no re-make in DMTCP. Check ${CC}.
4546default : display-build-env add-git-hooks mana_prereqs
47+ @ cc_version=${CC} --version | head -1 | tr -d ' \n' ; \
48+ if test ! -e dmtcp/bin/dmtcp_coordinator || \
49+ test ! -e dmtcp/config.log || \
50+ ! grep --quiet ${cc_version} dmtcp/config.log; then \
51+ echo " ** DMTCP: not present, or else compiler version" ; \
52+ echo " is not current: ${cc_version} " ; \
53+ echo " ** Doing 'make' in dmtcp subdirectory." ; \
54+ $(MAKE ) dmtcp; \
55+ fi
4656 $(MAKE ) mana
4757
4858all : default
@@ -82,14 +92,22 @@ distclean: clean
8292 rm -rf $(top_builddir ) /lib
8393 - cd $(top_builddir ) /bin && find . \! -name ' *mana*' -delete
8494
95+ # MANA configure does configure DMTCP. But no re-make in DMTCP. Check ${CC}.
96+ clean : tidy
97+ @ cc_version=${CC} --version | head -1 | tr -d ' \n' ; \
98+ if test ! -e dmtcp/config.log || \
99+ ! grep --quiet ${cc_version} dmtcp/config.log; then \
100+ echo "** DMTCP: compiler version is not current: ${cc_version}"; \
101+ echo "** Doing 'make clean' in dmtcp subdirectory."; \
102+ - cd ${DMTCP_ROOT} && $(MAKE) clean; \
103+ fi
104+ cd mpi-proxy-split && $(MAKE) clean
105+
85106tidy :
86107 rm -rf ckpt_rank*
87108 rm -f ckpt_* .dmtcp dmtcp_restart_script*
88109 rm -f dmtcp_coordinator_db-* .json
89110
90- clean : tidy
91- cd mpi-proxy-split && $(MAKE ) clean
92-
93111mana_prereqs :
94112 @ if test -n " $$ HUGETLB_DEFAULT_PAGE_SIZE" ; then \
95113 echo ' ** Env. var. HUGETLB_DEFAULT_PAGE_SIZE detected.' ; \
0 commit comments