* configure.in: Add sky support

* configure: Regenerated

sim/.Sanitize

@@ -158,6 +158,33 @@ else
         done
 fi
 
+txvu_files="configure configure.in ChangeLog"
+if ( echo $* | grep keep\-sky > /dev/null ) ; then
+        for i in $txvu_files ; do
+                if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then
+                        if [ -n "${verbose}" ] ; then
+                                echo Keeping sky stuff in $i
+                        fi
+                fi
+        done
+else
+        for i in $txvu_files ; do
+                if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then
+                        if [ -n "${verbose}" ] ; then
+                                echo Removing traces of \"sky\" from $i...
+                        fi
+                        cp $i new
+                        sed '/start\-sanitize\-sky/,/end-\sanitize\-sky/d' < $i > new
+                        if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
+                                if [ -n "${verbose}" ] ; then
+                                        echo Caching $i in .Recover...
+                                fi
+                                mv $i .Recover
+                        fi
+                        mv new $i
+                fi
+        done
+fi
 
 for i in * ; do
         if test ! -d $i && (grep sanitize $i > /dev/null) ; then

sim/configure.in

@@ -66,6 +66,14 @@ case "${target}" in
 	only_if_gcc=yes
 	extra_subdirs="${extra_subdirs} igen"
 	;;
+# start-sanitize-sky
+  txvu-*-*)
+	# The Sky simulator
+	sim_target=txvu
+	only_if_gcc=yes
+	extra_subdirs="${extra_subdirs} igen"
+	;;
+# end-sanitize-sky
   mn10300*-*-*)
 	# The mn10300 simulator can only be compiled by gcc.
 	sim_target=mn10300