| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- #!/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;
|