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/series | |
| 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/series')
| -rw-r--r-- | mpi-patches/series | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/mpi-patches/series b/mpi-patches/series deleted file mode 100644 index 84d76abd..00000000 --- a/mpi-patches/series +++ /dev/null @@ -1,19 +0,0 @@ -disable-make -config-types -fix-warnings -use-txr-allocator -add-mp-set-intptr -export-mp-eq -add-mp-hash -add-mpi-toradix-with-case -fix-mult-bug -mpi-set-mpi-word -mpi-set-double-intptr -fix-bad-shifts -bit-search-optimizations -shrink-mpi-int -faster-square-root -mpi-to-double -fix-ctype-warnings -add-bitops -eliminate-locale-dependencies |