+
+
+# 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
+
+else
+ echo ds390 >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_DS390 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-i186-port or --disable-i186-port was given.
+if test "${enable_i186_port+set}" = set; then
+ enableval="$enable_i186_port"
+ :
+fi
+
+echo izt >>ports.all
+if test "$enable_i186_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_I186 1
+EOF
+
+else
+ echo izt >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_I186 0
+EOF
+
+fi
+
+# Check whether --enable-tlcs900h-port or --disable-tlcs900h-port was given.
+if test "${enable_tlcs900h_port+set}" = set; then
+ enableval="$enable_tlcs900h_port"
+ :
+fi
+
+echo izt >>ports.all
+if test "$enable_tlcs900h_port" = "no"; then
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_TLCS900H 1
+EOF
+
+else
+ echo izt >>ports.build
+ cat >> confdefs.h <<EOF
+#define OPT_DISABLE_TLCS900H 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:2826: checking for GC_malloc in -lgc" >&5