profile-configure

   1 #!/usr/bin/env bash
   2
   3 profiles=(
   4         "darwin
   5                 --disable-mtp
   6                 --disable-appledevice
   7                 --disable-ipod
   8                 --disable-daap
   9                 --disable-boo
  10                 --disable-gnome
  11                 --disable-webkit
  12                 --disable-youtube
  13                 --disable-docs
  14         "
  15         "meego
  16                 --enable-meego
  17                 --disable-daap
  18                 --disable-webkit
  19                 --disable-youtube
  20                 --disable-boo
  21                 --disable-ipod
  22                 --disable-docs
  23         "
  24 )
  25
  26 selected_profile=$1; shift
  27
  28 for ((i=0; i<${#profiles[@]}; i++)); do
  29         profile=(${profiles[$i]})
  30         if [ "${profile[0]}" = "$selected_profile" ]; then
  31                 configure="./configure"
  32                 for ((j=1; j<${#profile[@]}; j++)); do
  33                         configure="$configure ${profile[$j]}"
  34                 done
  35                 if [ -d .git ]; then
  36                         configure="$configure"
  37                 fi
  38                 echo "Running $configure $@"
  39                 $configure $@
  40                 exit $?
  41         fi
  42 done
  43
  44 echo "Usage: $0 <profile> [extra configure args]"
  45 echo
  46 echo "  Available profiles:"
  47 echo
  48 for ((i=0; i<${#profiles[@]}; i++)); do
  49         profile=(${profiles[$i]})
  50         echo "    ${profile[0]}"
  51 done
  52 echo
  53 exit 1