blob: e86d2680a97a31c00d706e78e6c6528899578a6c (
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
|
#!/bin/bash
##-- hack CFLAGS
for arg in "$@"; do
case "$arg" in
CFLAGS=*)
axsf_safe=
for axsf_flag in `echo $arg | sed -e 's/^[^=]*=//'`
do
#echo "checking: $axsf_flag"
axsf_flag_tmp=`echo $axsf_flag | sed -e 's/[ '\''\"\(\)]//g'`
if test "${axsf_flag_tmp}" = "${axsf_flag}"; then
axsf_safe="$axsf_safe $axsf_flag"
else
axsf_unsafe="$axsf_unsafe $axsf_flag"
fi
done
#echo "new CFLAGS: $axsf_safe"
args=("${args[@]}" "CFLAGS=$axsf_safe") ##-- only retain 'safe' flags for gfsm
;;
*)
#echo "default: $arg"
args=("${args[@]}" "$arg")
;;
esac
done
#echo "`dirname $0`"/configure "${args[@]}" FLEX=no BISON=no --disable-doc --disable-programs --disable-shared --prefix="$PWD/../../extended/build.moo/noinstall"
exec "`dirname $0`"/configure "${args[@]}" FLEX=no BISON=no --disable-doc --disable-programs --disable-shared --prefix="$PWD/../../extended/build.moo/noinstall"
|