arm-linux-gnueabi-g++：无法识别 .so 文件

问题描述

我想用 ev3dev 作为操作系统在 EV3 Mindstorm 上编译 mathsat。

为此，我使用了 PySMT 提供的安装程序（pysmt 已成功安装）：pysmt-install --msat

另外，我安装了一些必要的包：

sudo apt-get install gcc
sudo apt-get install g++
sudo apt-get install libgmp3-dev
sudo apt-get install musl-dev

但是，我收到以下错误消息：

arm-linux-gnueabi-g++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -fno-strict-aliasing -DNDEBUG -g -fwrapv -O2 -Wall -Wstrict-prototypes -Wdate-time -D_FORTIFY_SOURCE=2 -g -fdebug-prefix-map=/build/python2.7-05WwKQ/python2.7-2.7.13=. -fstack-protector-strong -Wformat -Werror=format-security -Wl,relro -Wdate-time -D_FORTIFY_SOURCE=2 -g -fdebug-prefix-map=/build/python2.7-05WwKQ/python2.7-2.7.13=. -fstack-protector-strong -Wformat -Werror=format-security build/temp.linux-armv5tejl-2.7/mathsat_python_wrap.o -L../lib -Wl,-R$ORIGIN -lmathsat -lgmpxx -lgmp -o build/lib.linux-armv5tejl-2.7/_mathsat.so
../lib/libmathsat.so: file not recognized: File format not recognized
collect2: error: ld returned 1 exit status
error: command 'arm-linux-gnueabi-g++' Failed with exit status 1

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）