Как сделать z3 в малиновом пироге3 - PullRequest
0 голосов
/ 11 октября 2018

Я собираюсь установить solc для компиляции Solidity из Raspberry Pi, но я должен установить 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
...