configure
changeset 7614 0231b50ec959
parent 7613 8c60d7b4a0c1
child 7616 1169097e0ef8
equal deleted inserted replaced
7613:8c60d7b4a0c1 7614:0231b50ec959
   340    echo "lua.h not found (looked in $lua_h)"
   340    echo "lua.h not found (looked in $lua_h)"
   341    echo "You may want to use the flag --with-lua-include. See --help."
   341    echo "You may want to use the flag --with-lua-include. See --help."
   342    exit 1
   342    exit 1
   343 fi
   343 fi
   344 
   344 
   345 find_helper() {
       
   346    explanation="$1"
       
   347    shift
       
   348    tried="$*"
       
   349    while [ "$1" ]
       
   350    do
       
   351       found=`find_program "$1"`
       
   352       if [ "$found" ]
       
   353       then
       
   354          echo "$1 found at $found"
       
   355          HELPER=$1
       
   356          return
       
   357       fi
       
   358       shift
       
   359    done
       
   360    echo "Could not find a $explanation. Tried: $tried."
       
   361    echo "Make sure one of them is installed and available in your PATH."
       
   362    exit 1
       
   363 }
       
   364 
       
   365 # Write config
   345 # Write config
   366 
   346 
   367 echo "Writing configuration..."
   347 echo "Writing configuration..."
   368 echo
   348 echo
   369 
   349