yichang

#Now the issue can be solved by [issue320](https://github.com/kframework/c-semantics/issues/320) #but if I use the CFLAGS = "-std=gnu11" it will have another error "/usr/bin/ld: .libs/libcurl_la-file.o: relocation R_X86_64_32 against `.rodata' can not be...

as it is ``LuaJIT`` problem, it is moved to [LuaJIT's problem](https://github.com/kframework/c-semantics/issues/347 )

update on wrk: the previous problem is caused by LuaJIT, but I can work around by using the lib which is compiled by gcc. however there is still problems with...

I tried LD=kcc but it has the same error the command with error: ``` /bin/bash ../libtool --silent --tag=CC --mode=link kcc -O2 -Wno-system-headers -pthread - std=gnu11 -version-info 9:0:5 -export-symbols-regex '^curl_.*' -Wl,-rpath,/usr/local/cyruslibs/lib...

Maybe it is a problem with ``libtool`` [ issue331](https://github.com/kframework/c-semantics/issues/331) is a small "hello world" project using libtool to link. It will have the same error except the target file's name....

this is another project having problem because of aotmic `disque commit 0192ba7e1cda157024229962b7bee1c6e86d771b` the code main.c is the minimied input for it, it will based on the flag to determine the...