+# Check whether --enable-ds390-port or --disable-ds390-port was given.
+if test "${enable_ds390_port+set}" = set; then
+ enableval="$enable_ds390_port"
+ :
+fi
+
+echo ds390 >>ports.all
+if test "$enable_ds390_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_DS390 1
+EOF
+
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_TININative 1
+EOF
+
+else
+ echo ds390 >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_DS390 0
+EOF
+
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_TININative 0
+EOF
+
+fi
+
+# Check whether --enable-pic-port or --disable-pic-port was given.
+if test "${enable_pic_port+set}" = set; then
+ enableval="$enable_pic_port"
+ :
+fi
+
+echo pic >>ports.all
+if test "$enable_pic_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_PIC 1
+EOF
+
+else
+ echo pic >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_PIC 0
+EOF
+
+fi
+
+# Check whether --enable-xa51-port or --disable-xa51-port was given.
+if test "${enable_xa51_port+set}" = set; then
+ enableval="$enable_xa51_port"
+ :
+fi
+
+echo xa51 >>ports.all
+if test "$enable_xa51_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_XA51 1
+EOF
+
+else
+ echo xa51 >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_XA51 0
+EOF
+
+fi
+
+# Check whether --enable-ucsim or --disable-ucsim was given.
+if test "${enable_ucsim+set}" = set; then
+ enableval="$enable_ucsim"
+ :
+fi
+
+OPT_ENABLE_UCSIM=$enable_ucsim
+
+
+# Check whether --enable-device-lib-build or --disable-device-lib-build was given.
+if test "${enable_device_lib_build+set}" = set; then
+ enableval="$enable_device_lib_build"
+ :
+fi
+
+OPT_ENABLE_DEVICE_LIB_BUILD=$enable_device_lib_build
+
+
+# Check whether --enable-packihx or --disable-packihx was given.
+if test "${enable_packihx+set}" = set; then
+ enableval="$enable_packihx"
+ :
+fi
+
+OPT_ENABLE_PACKIHX=$enable_packihx
+
+
+# Check whether --enable-libgc or --disable-libgc was given.
+if test "${enable_libgc+set}" = set; then
+ enableval="$enable_libgc"
+ :
+fi
+
+if test "$enable_libgc" = "yes"; then
+ echo $ac_n "checking for GC_malloc in -lgc""... $ac_c" 1>&6
+echo "configure:2878: checking for GC_malloc in -lgc" >&5
+ac_lib_var=`echo gc'_'GC_malloc | sed 'y%./+-%__p_%'`
+if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
+ echo $ac_n "(cached) $ac_c" 1>&6
+else
+ ac_save_LIBS="$LIBS"
+LIBS="-lgc $LIBS"
+cat > conftest.$ac_ext <<EOF
+#line 2886 "configure"
+#include "confdefs.h"
+/* Override any gcc2 internal prototype to avoid an error. */
+/* We use char because int might match the return type of a gcc2
+ builtin and then its argument prototype would still apply. */
+char GC_malloc();
+
+int main() {
+GC_malloc()
+; return 0; }
+EOF
+if { (eval echo configure:2897: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
+ rm -rf conftest*
+ eval "ac_cv_lib_$ac_lib_var=yes"
+else
+ echo "configure: failed program was:" >&5
+ cat conftest.$ac_ext >&5
+ rm -rf conftest*
+ eval "ac_cv_lib_$ac_lib_var=no"
+fi
+rm -f conftest*
+LIBS="$ac_save_LIBS"
+
+fi
+if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
+ echo "$ac_t""yes" 1>&6
+ ac_tr_lib=HAVE_LIB`echo gc | sed -e 's/[^a-zA-Z0-9_]/_/g' \
+ -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
+ cat >> confdefs.h <<EOF
+#define $ac_tr_lib 1
+EOF
+
+ LIBS="-lgc $LIBS"
+
+else
+ echo "$ac_t""no" 1>&6
+fi
+
+ OPT_ENABLE_LIBGC=1
+else
+ OPT_ENABLE_LIBGC=0
+fi
+cat >> confdefs.h <<EOF
+#define OPT_ENABLE_LIBGC $OPT_ENABLE_LIBGC
+EOF
+
+
+#remove duplicates
+cat ports.all | uniq >ports
+mv ports ports.all
+cat ports.build | uniq >ports
+mv ports ports.build
+