/usr/include/flint/config.h is in libflint-dev 2.4.4-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 | /* This file is autogenerated by ./configure -- do not edit! */
#define POPCNT_INTRINSICS
#define HAVE_BLAS 0
#define HAVE_TLS 1
#define HAVE_PTHREAD 1
#define HAVE_GC 0
#define FLINT_REENTRANT 0
#define WANT_ASSERT 0
|