diff options
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2007-03-08 01:52:37 +0000 |
---|---|---|
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2007-03-08 01:52:37 +0000 |
commit | 775a368b674d0dff1f1c409b1ae098938621ec58 (patch) | |
tree | cfde4115d4fb556c378c516fd10d9b32d8041986 /auxprogs | |
parent | 7454b07c2fcc974ca29d3d6384590b258709c8fe (diff) |
Horrible hacks to make 'make dist' work properly. Previously it only
worked on systems when the configure script found a usable mpicc,
bizarrely.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6634 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'auxprogs')
-rw-r--r-- | auxprogs/Makefile.am | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/auxprogs/Makefile.am b/auxprogs/Makefile.am index 28f97b5f..e554e9c1 100644 --- a/auxprogs/Makefile.am +++ b/auxprogs/Makefile.am @@ -105,26 +105,32 @@ if BUILD_MPIWRAP_SEC endif -## And some hacks for 'make dist' +## And some hacks to keep 'make dist' happy. ## It would seem that using nodist_SOURCES is the right fix, but ## I can't figure out how to do it. ## -if BUILD_MPIWRAP_PRI #nodist_SOURCES = libmpiwrap-@VG_PLATFORM_PRI@.c -libmpiwrap-@VG_PLATFORM_PRI@.c: - rm -f libmpiwrap-@VG_PLATFORM_PRI@.c - touch libmpiwrap-@VG_PLATFORM_PRI@.c +#nodist_SOURCES = libmpiwrap-@VG_PLATFORM_SEC@.c + libmpiwrap-.c: rm -f libmpiwrap-.c touch libmpiwrap-.c -endif -if BUILD_MPIWRAP_SEC -#nodist_SOURCES = libmpiwrap-@VG_PLATFORM_SEC@.c + +libmpiwrap-@VG_PLATFORM_PRI@.c: + rm -f libmpiwrap-@VG_PLATFORM_PRI@.c + touch libmpiwrap-@VG_PLATFORM_PRI@.c + +if VGP_HAVE_SECONDARY libmpiwrap-@VG_PLATFORM_SEC@.c: rm -f libmpiwrap-@VG_PLATFORM_SEC@.c touch libmpiwrap-@VG_PLATFORM_SEC@.c endif +## cleanery +clean-local: + rm -f libmpiwrap-.c \ + libmpiwrap-@VG_PLATFORM_PRI@.c libmpiwrap-@VG_PLATFORM_SEC@.c + # #---------------------------------------------------------- |