diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-04-22 20:10:44 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-04-22 20:10:44 -0700 |
| commit | b0ebf843ce862f8448aad85e61cc1b3727745fd0 (patch) | |
| tree | 47b934781729c5d2143de03eb8021521771c500f /mpi-patches/disable-make | |
| parent | 790cbdccac0540d2af12438fc7bccef2e17bc124 (diff) | |
| download | txr-b0ebf843ce862f8448aad85e61cc1b3727745fd0.tar.gz txr-b0ebf843ce862f8448aad85e61cc1b3727745fd0.tar.bz2 txr-b0ebf843ce862f8448aad85e61cc1b3727745fd0.zip | |
Switch to in-tree mpi directory.
* Makefile (CFLAGS, MPI_OBJS): Refer to mpi directory without version
number.
(repatch): Target removed.
(distclean): Don't try to remove old unpacked tarball mpi directory.
* configure (mpi_version, have_quilt, have_patch): Variables removed.
(gen_config_make): Do not generate mpi_version make variable.
Do not test for quilt or patch. No longer extract MPI tarball or
try to apply patches.
* mpi-1.8.6.tar.gz: File removed.
* mpi-patches: Directory and all files under it removed.
Diffstat (limited to 'mpi-patches/disable-make')
| -rw-r--r-- | mpi-patches/disable-make | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/mpi-patches/disable-make b/mpi-patches/disable-make deleted file mode 100644 index 04e53d3d..00000000 --- a/mpi-patches/disable-make +++ /dev/null @@ -1,18 +0,0 @@ -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 - - ###---------------------------------------------------------------------- |