diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2012-04-10 20:48:44 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2012-04-10 20:48:44 -0700 |
| commit | be004953796f8286ce614d40670b3b14d61d80ef (patch) | |
| tree | 6a6dd697cf588ee3cf614eed6c6ca234850ab767 /mpi-patches/disable-make | |
| parent | 7b825e541377fc8a6f6ec8e490187c7b19bda6c3 (diff) | |
| download | txr-be004953796f8286ce614d40670b3b14d61d80ef.tar.gz txr-be004953796f8286ce614d40670b3b14d61d80ef.tar.bz2 txr-be004953796f8286ce614d40670b3b14d61d80ef.zip | |
Adding patch to MPI to disable its Makefile so people don't try
to work around TXR build problems by running make inside
the MPI directory, which is wrong.
Also fixing an incorrect use of ctype.h functions in
MPI and one case of a superfluous warning.
* mpi-patches/series: new patches added.
* mpi-patches/disable-make: New file.
* mpi-patches/fix-ctype-warnings: New file.
Diffstat (limited to 'mpi-patches/disable-make')
| -rw-r--r-- | mpi-patches/disable-make | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/mpi-patches/disable-make b/mpi-patches/disable-make new file mode 100644 index 00000000..04e53d3d --- /dev/null +++ b/mpi-patches/disable-make @@ -0,0 +1,18 @@ +Index: mpi-1.8.6/Makefile +=================================================================== +--- mpi-1.8.6.orig/Makefile 2012-04-10 20:41:06.333743757 -0700 ++++ mpi-1.8.6/Makefile 2012-04-10 20:43:28.337576007 -0700 +@@ -14,6 +14,13 @@ + ## 'mpi-config.h', which you should set as appropriate. + ## + ++.PHONY: all ++all: ++ @echo "Do not use this Makefile! TXR pulls in the MPI sources into" ++ @echo "its own build environment. If something isn't working" ++ @echo "it has to be debugged properly." ++ exit 1 ++ + include Makefile.base + + ###---------------------------------------------------------------------- |