Applied patch #2762516
[fw/sdcc] / configure.in
index 0de9b1afa71e4082de9161391a522b1784f6deae..dc4bab5b88fd57579cba9c02aba3656fa34a5bd5 100644 (file)
@@ -489,6 +489,14 @@ fi
 # Makefiles
 ###########
 
+# LIB_TYPE:
+# *nix default: "RANLIB"
+
+AC_ARG_VAR([LIB_TYPE], [library type: LIB, SDCCLIB, AR or RANLIB (default)])
+if test "${LIB_TYPE}" = ""; then
+    LIB_TYPE="RANLIB"
+fi
+
 # include_dir_suffix:
 # *nix default: "sdcc/include"