#!/bin/sh help() { echo "" echo "Usage is: configure [--prefix=PREFIX] [--profile=PROFILE]" echo "" echo "Profiles available: " (cd build/profiles; ls *.make | sed -e 's/.make//' -e 's/^/ /') } prefix=/usr/local profile=default while [ $# -ne 0 ]; do case $1 in --help) help exit 0 ;; --prefix=*) prefix=`echo $1 | sed 's/--prefix=//'`; shift ;; --prefix) shift prefix="$1" shift ;; --profile=*) profile=`echo $1 | sed 's/--profile=//'` shift if test ! -f build/profiles/$profile.make; then echo "" echo Error, profile $profile does not exist help exit 1; fi ;; --profile) shift profile="$1" shift if test ! -f build/profiles/$profile.make; then echo "" echo Error, profile $profile does not exist help exit 1; fi ;; *) echo Unknown option: $1 help shift esac done echo "prefix=$prefix" > build/config.make echo "MCS_FLAGS = \$(PLATFORM_DEBUG_FLAGS)" >> build/config.make echo "PROFILE=$profile" > build/pre-config.make echo "" echo "MCS module configured" echo "" echo " Profile selected: $profile" echo " Prefix: $prefix" echo "" exit 0;