device/lib/Makefile.in: bad fix, reverted to 1.43

[fw/sdcc] / configure.in

diff --git a/configure.in b/configure.in
index b66262621374bdd6727c1900ec22cc9a78962441..4cb736b35b07a5f32347689081562f9d6dd698cf 100755 (executable)
--- a/configure.in
+++ b/configure.in
@@ -577,6 +577,17 @@ else
     AC_DEFINE_UNQUOTED(OPT_DISABLE_PIC, 0)
 fi
 
+AC_ARG_ENABLE(pic16-port,
+            AC_HELP_STRING([--disable-pic16-port],
+                           [Excludes the PIC port]))
+echo pic16 >>ports.all
+if test "$enable_pic16_port" = "no"; then
+    AC_DEFINE_UNQUOTED(OPT_DISABLE_PIC16, 1)
+else
+    echo pic16 >>ports.build
+    AC_DEFINE_UNQUOTED(OPT_DISABLE_PIC16, 0)
+fi
+
 AC_ARG_ENABLE(xa51-port,
             AC_HELP_STRING([--disable-xa51-port],
                            [Excludes the XA51 port]))