ID0002489: **This issue was created automatically from Mantis Issue 2489. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002489 | Frama-C | Kernel > libc | public | 2020-01-08 | 2020-06-12 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | vkraus | **Assigned To** | maroneze | **Resolution** | fixed | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | x86_64 | **OS** | opam | **OS Version** | - | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | Frama-C 21-Scandium | ### Description : When compiling __fc_runtime.c, I get /usr/bin/ld: __fc_runtime.o:(.data.rel+0x0): undefined reference to `__fc_ttyname' collect2: error: ld returned 1 exit status ### Additional Information : gcc version 8.3.0 (debian buster) frama-c version 20.0 (Calcium) ### Steps To Reproduce : gcc -I$(frama-c -print-share-path)/libc -nostdinc -D__FC_MACHDEP_X86_64 -o __fc_runtime.o -c $(frama-c -print-share-path)/libc/__fc_runtime.c (ignore the warnings) echo "int main () { return 0; }" > main.c gcc main.c __fc_runtime.o You should get the error.