Arch Linux compilation error due to missing #include <stdint.h> #6892
MartinStuwe
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hello,
I just tried to build z3 from the latest tag on Arch Linux (btw) from source with the steps
python scripts/mk_make.py
cd build
make
sudo make install
During make I got this exit:
I fixed it by adding #include <stdint.h> to src/util/tptr.h
Just want to let you know.
Beta Was this translation helpful? Give feedback.
All reactions