/usr/include/fplll/fplll_config.h is in libfplll-dev 5.0.3-1.
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 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | /* fplll/fplll_config.h. Generated from fplll_config.h.in by configure. */
#ifndef FPLLL_CONFIG__H
#define FPLLL_CONFIG__H
/* use quaddouble library */
/* #undef FPLLL_WITH_QD */
/* fplll major version */
#define FPLLL_MAJOR_VERSION 5
/* fplll minor version */
#define FPLLL_MINOR_VERSION 0
/* fplll micro version */
#define FPLLL_MICRO_VERSION 3
/* fplll sonum */
#define FPLLL_SONUM @FPLLL_SONUM@
/* fplll version */
#define FPLLL_VERSION 5.0.3
/* fplll version info */
#define FPLLL_VERSION_INFO
/* Maximum supported enumeration dimension */
#define FPLLL_MAX_ENUM_DIMENSION 256
#endif //FPLLL_CONFIG__H
|