fixed bug #739934
[fw/sdcc] / configure
index 904ebf3664bad5dae5cccef565f5055961bd7e36..a0b6e55aa474023292445bd76ecab6aff3e78257 100755 (executable)
--- a/configure
+++ b/configure
@@ -875,6 +875,7 @@ Optional Features:
   --disable-ds390-port    Excludes the DS390 port
   --disable-ds400-port    Excludes the DS400 port
   --disable-pic-port      Excludes the PIC port
+  --disable-pic16-port    Excludes the PIC16 port
   --disable-xa51-port     Excludes the XA51 port
   --disable-ucsim         Disables configuring and building of ucsim
   --disable-device-lib-build
@@ -6552,7 +6553,7 @@ fi;
 echo ds400 >>ports.all
 if test "$enable_ds400_port" = "no"; then
     cat >>confdefs.h <<_ACEOF
-#define OPT_DISABLE_DS300 1
+#define OPT_DISABLE_DS400 1
 _ACEOF
 
 else
@@ -6582,6 +6583,25 @@ _ACEOF
 
 fi
 
+# Check whether --enable-pic16-port or --disable-pic16-port was given.
+if test "${enable_pic16_port+set}" = set; then
+  enableval="$enable_pic16_port"
+
+fi;
+echo pic16 >>ports.all
+if test "$enable_pic16_port" = "no"; then
+    cat >>confdefs.h <<_ACEOF
+#define OPT_DISABLE_PIC16 1
+_ACEOF
+
+else
+    echo pic16 >>ports.build
+    cat >>confdefs.h <<_ACEOF
+#define OPT_DISABLE_PIC16 0
+_ACEOF
+
+fi
+
 # Check whether --enable-xa51-port or --disable-xa51-port was given.
 if test "${enable_xa51_port+set}" = set; then
   enableval="$enable_xa51_port"