blob: 3abe43bad101c284924d9c2f3d0fd982ea792fc5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
#!/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;
|
