Ignore:
Timestamp:
Dec 23, 2007 2:25:07 PM (14 years ago)
Author:
andreasw
Message:

synchronize ThirdParty/Mumps?/stable/1.0 with trunk rev 827

File:
1 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Mumps/stable/1.0/get.Mumps

    r539 r828  
    66
    77set -e
     8
     9if test "$1" == '-patch'; then
     10  uname=`uname`
     11  case "$uname" in
     12    MINGW* | CYGWIN*)
     13      patch=yes
     14      ;;
     15  esac
     16fi
    817
    918wgetcmd=wget
     
    3746rm MUMPS_${mumps_ver}.tar
    3847
    39 #echo "Applying a patch for version 4.6.4"
    40 #sed -e 's/         id%DKEEP(1) = ZERO/         id%DKEEP(1) = -1.0/' MUMPS_${mumps_ver}/src/dmumps_part5.F > bla
    41 #mv bla MUMPS_${mumps_ver}/src/dmumps_part5.F
     48mv MUMPS_${mumps_ver} MUMPS
    4249
    43 mv MUMPS_${mumps_ver} MUMPS
     50if test "$patch" = yes; then
     51  echo "Applying a patch for version 4.7.3"
     52  patch -p0 < mumps_4.7.3.Win.patch
     53fi
    4454
    4555echo " "
Note: See TracChangeset for help on using the changeset viewer.