Le jeudi 14 février 2013 17:08:15, Christian JULLIEN a écrit : > RPi is still OK, but now on CentOS, I get: > > ------------ test3 ------------ > ../tcc -B.. -DTCC_TARGET_X86_64 -DONE_SOURCE -run ../tcc.c -B.. > -DTCC_TARGET_X86_64 -DONE_SOURCE -run ../tcc.c -B.. -DTCC_TARGET_X86_64 > -DONE_SOURCE -run ../tcc.c -B.. -run tcctest.c > test.out3 tcc: error: > undefined symbol '__floatundixf' > tcc: error: undefined symbol '__va_start' > tcc: error: undefined symbol '__va_end' > make[1]: *** [test3] Error 255
Can you show me the output of the configure (I want to see if you use libgcc or libtcc). If it's libtcc, please show me the result of find -name libtcc1.a. Else, try find /lib -name libgcc_s.so.1. Best regards, Thomas
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
