configure
changeset 9962 f23744f8873c
parent 9758 411958cd652d
child 10059 7a8d30d55bdc
equal deleted inserted replaced
9961:5c062b07d3f7 9962:f23744f8873c
    15 # Find out where configure is (in what dir)
    15 # Find out where configure is (in what dir)
    16 ROOT_DIR="`dirname $0`"
    16 ROOT_DIR="`dirname $0`"
    17 ROOT_DIR="`cd $ROOT_DIR && pwd`"
    17 ROOT_DIR="`cd $ROOT_DIR && pwd`"
    18 
    18 
    19 PWD="`pwd`"
    19 PWD="`pwd`"
    20 PREFIX="`pwd`/bin"
    20 PREFIX="$PWD/bin"
    21 
    21 
    22 . $ROOT_DIR/config.lib
    22 . $ROOT_DIR/config.lib
    23 
    23 
    24 # Set default dirs
    24 # Set default dirs
    25 OBJS_DIR="$PWD/objs"
    25 OBJS_DIR="$PWD/objs"