apply_patches.sh

   1 #!/bin/bash
   2
   3 export BASE=`pwd`
   4
   5 # ------------------------------------------------
   6 # Utility functions
   7 # ------------------------------------------------
   8
   9 # Tries to apply a patch from the given directory. Exits the program if it
  10 # fails
  11 check_and_apply_patch() {
  12   local path="$1"
  13   local patch="$2"
  14
  15   if [ \( -d ${BASE}/$path \) -a \( ! -f ${BASE}/$path/.`basename $patch` \)  ] ; then
  16       echo Hello
  17     echo -e "\nTrying to apply patch from directory: `pwd`"
  18     `git apply --check --directory=$path $patch`
  19     exit_status=$?
  20
  21     if [ $exit_status -ne 0 ]; then
  22       echo -e "Failed to apply patch $patch in directory ${BASE}/$path"
  23       exit 1
  24     else
  25       cd ${BASE}/$path; git am $patch
  26       # it could have still failed (note that this is git-am, not git apply)
  27       exit_status=$?
  28       cd -
  29
  30       if [ $exit_status -ne 0 ]; then
  31           echo -e "git-am failed on patch $patch in directory ${BASE}/$path"
  32           exit 1
  33       else
  34           touch ${BASE}/$path/.`basename $patch`
  35           echo -e "Successfully applied patch $patch in directory ${BASE}/$path"
  36       fi
  37     fi
  38   fi
  39 }
  40
  41 check_and_apply_patch "isl" "${BASE}/patches/0001-isl-dim-wise-single_valued-and-isl_pw_aff_map-functi.patch"