if(!libflags.ignore) {
if(libflags.want_libc)
- addSet(&libFilesSet, Safe_strdup("libc18f.lib"));
+ addSet(&libFilesSet, Safe_strdup("libc18f.a"));
if(libflags.want_libm)
- addSet(&libFilesSet, Safe_strdup("libm18f.lib"));
+ addSet(&libFilesSet, Safe_strdup("libm18f.a"));
if(libflags.want_libio) {
- sprintf(temp, "libio%s.lib", pic16->name[1]); /* build libio18f452.lib name */
+ sprintf(temp, "libio%s.a", pic16->name[1]); /* build libio18f452.a name */
addSet(&libFilesSet, Safe_strdup(temp));
}
if(libflags.want_libdebug)
- addSet(&libFilesSet, Safe_strdup("libdebug.lib"));
+ addSet(&libFilesSet, Safe_strdup("libdebug.a"));
}
shash_add(&linkValues, "libs", joinStrSet(libFilesSet));
if(!pic16_options.nodefaultlibs) {
/* now add the library for the device */
- sprintf(devlib, "%s.lib", pic16->name[2]);
+ sprintf(devlib, "libdev%s.a", pic16->name[1]); /* e.g., libdev18f452.a */
addSet(&libFilesSet, Safe_strdup(devlib));
/* add the internal SDCC library */
- addSet(&libFilesSet, Safe_strdup( "libsdcc.lib" ));
+ addSet(&libFilesSet, Safe_strdup( "libsdcc.a" ));
}
if(alt_asm && strlen(alt_asm))