如何在树莓派中制作z3

时间:2018-10-11 01:28:49

标签: raspberry-pi z3 solidity

我将安装一个solc来从Raspberry Pi编译Solidity, 但是我必须先安装z3。 此错误在src/util/mpz.cpp中。

../src/util/mpz.cpp:33:24: fatal error: immintrin.h: No such file or directory

#include <immintrin.h>
          ^

compilation terminated.

Makefile:69: recipe for target 'util/mpz.o' failed

make: *** [util/mpz.o] Error 1

0 个答案:

没有答案