+
+
+# Now handle the port selection
+rm -f ports.all ports.build
+# Check whether --enable-mcs51-port or --disable-mcs51-port was given.
+if test "${enable_mcs51_port+set}" = set; then
+ enableval="$enable_mcs51_port"
+ :
+fi
+
+echo mcs51 >>ports.all
+if test "$enable_mcs51_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_MCS51 1
+EOF
+
+else
+ echo mcs51 >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_MCS51 0
+EOF
+
+fi
+
+# Check whether --enable-gbz80-port or --disable-gbz80-port was given.
+if test "${enable_gbz80_port+set}" = set; then
+ enableval="$enable_gbz80_port"
+ :
+fi
+
+echo z80 >>ports.all
+if test "$enable_gbz80_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_GBZ80 1
+EOF
+
+else
+ echo z80 >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_GBZ80 0
+EOF
+
+fi
+
+# Check whether --enable-z80-port or --disable-z80-port was given.
+if test "${enable_z80_port+set}" = set; then
+ enableval="$enable_z80_port"
+ :
+fi
+
+echo z80 >>ports.all
+if test "$enable_z80_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_Z80 1
+EOF
+
+else
+ echo z80 >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_Z80 0
+EOF
+
+fi
+
+# Check whether --enable-avr-port or --disable-avr-port was given.
+if test "${enable_avr_port+set}" = set; then
+ enableval="$enable_avr_port"
+ :
+fi
+
+echo avr >>ports.all
+if test "$enable_avr_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_AVR 1
+EOF
+
+else
+ echo avr >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_AVR 0
+EOF
+
+fi
+
+# 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