/usr/include/fplll/fplll_config.h is in libfplll-dev 5.2.0-3build1.
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 30 31 32 33 34 35 36 | /* 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 2
/* fplll micro version */
#define FPLLL_MICRO_VERSION 0
/* fplll sonum */
#define FPLLL_SONUM @FPLLL_SONUM@
/* fplll version */
#define FPLLL_VERSION 5.2.0
/* fplll version info */
#define FPLLL_VERSION_INFO
/* fplll default strategy */
#define FPLLL_DEFAULT_STRATEGY_PATH "/usr/share/libfplll4/strategies/"
#define FPLLL_DEFAULT_STRATEGY "default.json"
/* Maximum supported enumeration dimension */
#define FPLLL_MAX_ENUM_DIMENSION 256
/* Recursive enumeration enabled */
#define FPLLL_WITH_RECURSIVE_ENUM 1
#endif //FPLLL_CONFIG__H
|