scripts/common.sh

   1 #!/bin/sh
   2
   3 waf_backup()
   4 {
   5         if [ -e .lock-wscript ]; then
   6                 mv .lock-wscript .lock-wscript.old
   7         fi
   8 }
   9
  10 waf_restore()
  11 {
  12         if [ -e .lock-wscript.old ]; then
  13                 mv .lock-wscript.old .lock-wscript
  14         fi
  15 }
  16
  17 try_python()
  18 {
  19         waf_backup
  20                 echo "+------------------------------------------------"
  21                 echo "+ PYTHON=$1"
  22                 echo "+------------------------------------------------"
  23                 if [ ! -x "$1" ]; then
  24                         echo "$1 is not executable."
  25                         exit -1
  26                 fi
  27                 env PYTHON="$1" \
  28                         ./configure \
  29                                 --prefix="$2" \
  30                                 --blddir="$PWD/tmp.$$" &&
  31                 make &&
  32                 make install
  33                 status=$?
  34
  35                 rm -rf "$PWD/tmp.$$"
  36
  37                 if test -z $status; then
  38                         echo "exited with status code $status"
  39                         exit $status
  40                 fi
  41
  42
  43         waf_restore
  44 }
  45
  46 cd $(dirname $0)
  47 cd ..
  48
  49 VERSION=$(scripts/version.sh)