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                 --disable-gio-hardware
  15                 --disable-gio
  16         "
  17 )
  18
  19 selected_profile=$1; shift
  20
  21 for ((i=0; i<${#profiles[@]}; i++)); do
  22         profile=(${profiles[$i]})
  23         if [ "${profile[0]}" = "$selected_profile" ]; then
  24                 configure="./configure"
  25                 for ((j=1; j<${#profile[@]}; j++)); do
  26                         configure="$configure ${profile[$j]}"
  27                 done
  28                 if [ -d .git ]; then
  29                         configure="$configure"
  30                 fi
  31                 echo "Running $configure $@"
  32                 $configure $@
  33                 exit $?
  34         fi
  35 done
  36
  37 echo "Usage: $0 <profile> [extra configure args]"
  38 echo
  39 echo "  Available profiles:"
  40 echo
  41 for ((i=0; i<${#profiles[@]}; i++)); do
  42         profile=(${profiles[$i]})
  43         echo "    ${profile[0]}"
  44 done
  45 echo
  46 exit 1