vivado HLS 综合错误

在c simulation时，如果使用gcc编译器报错：

1. /home/find/d/fpga/Vivado_HLS/2016.4/lnx64/tools/fpo_v7_0/libgmp.so: 无法添加符号: 不可识别的文件格式
   
2. collect2: ld returned 1 exit status
   
3. make: *** [csim.exe] Error 1
   
4. ERROR: [SIM 211-100] CSim file generation failed: compilation error(s).

复制代码

换成clang编译器就好了。
但是在 Run C/RTL CoSimulation时，还会出错：

1. /lib/x86_64-linux-gnu/libpthread.so.0: 无法添加符号: 不可识别的文件格式
   
2. collect2: ld returned 1 exit status
   
3. make: *** [cosim.tv.exe] Error 1

复制代码

操作系统：Debian 9 x86_64
vivado 2016.4
求帮助。