1 files changed, 29 insertions, 2 deletions
diff --git a/gfsm/gfsm/configure.gnu b/gfsm/gfsm/configure.gnu
index f433366..e86d268 100755
--- a/gfsm/gfsm/configure.gnu
+++ b/gfsm/gfsm/configure.gnu
@@ -1,3 +1,30 @@
-#!/bin/sh
-exec "`dirname $0`"/configure "$@" FLEX=no BISON=no --disable-doc --disable-programs --disable-shared --prefix="$PWD/../../extended/build.moo/noinstall"
+#!/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"