Compiler errors arm-linux-gnueabi-g++；：。所以文件无法识别
我想用as OS在EV3 Mindstorm上编译MathSat 为此，我正在使用（PySMT已成功安装）：Compiler errors arm-linux-gnueabi-g++；：。所以文件无法识别,compiler-errors,g++,ev3,pysmt,mathsat,Compiler Errors,G++,Ev3,Pysmt,Mathsat,我想用as OS在EV3 Mindstorm上编译MathSat 为此，我正在使用（PySMT已成功安装）：PySMT安装--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 -shar
PySMT安装--msatsudo 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,-z,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
命令
file../lib/libmathsat.so。/lib/libmathsat.so:ELF 64位LSB共享对象，x86-64，版本1（GNU/Linux），动态链接，BuildID[sha1]=c35ddd9742e07f03350aa3247062483ff411472，未剥离