Arch Linux compilation error due to missing #include <stdint.h>

[MartinStuwe]

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:

src/util/smt2_util.cpp
make: *** [Makefile:174: util/stack.o] Error 1
make: *** Waiting for unfinished jobs....
In file included from ../src/util/region.cpp:53:
../src/util/region.cpp: In member function ‘void* region::allocate(size_t)’:
../src/util/tptr.h:29:62: error: ‘uintptr_t’ does not name a type
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
../src/util/region.cpp:82:22: note: in expansion of macro ‘ALIGN’
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
../src/util/region.cpp:57:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   56 | #include "util/page.h"
  +++ |+#include <cstdint>
   57 | 
../src/util/tptr.h:30:38: error: ‘uintptr_t’ does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
../src/util/region.cpp:82:22: note: in expansion of macro ‘ALIGN’
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:30:38: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
../src/util/region.cpp:82:22: note: in expansion of macro ‘ALIGN’
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:30:67: error: ‘uintptr_t’ does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
../src/util/region.cpp:82:22: note: in expansion of macro ‘ALIGN’
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:30:67: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
../src/util/region.cpp:82:22: note: in expansion of macro ‘ALIGN’
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:29:62: error: ‘uintptr_t’ does not name a type
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
../src/util/region.cpp:89:22: note: in expansion of macro ‘ALIGN’
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:29:62: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
../src/util/region.cpp:89:22: note: in expansion of macro ‘ALIGN’
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:30:38: error: ‘uintptr_t’ does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
../src/util/region.cpp:89:22: note: in expansion of macro ‘ALIGN’
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:30:38: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
../src/util/region.cpp:89:22: note: in expansion of macro ‘ALIGN’
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:30:67: error: ‘uintptr_t’ does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
../src/util/region.cpp:89:22: note: in expansion of macro ‘ALIGN’
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
../src/util/tptr.h:30:67: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
../src/util/region.cpp:89:22: note: in expansion of macro ‘ALIGN’
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
make: *** [Makefile:177: util/region.o] Error 1

I fixed it by adding #include <stdint.h> to src/util/tptr.h

Just want to let you know.