When compiling a simple C program with #include <msolve/msolve/msolve.h>, I get the following compile errors:
$ gcc foo.c
In file included from foo.c:2:
/usr/include/msolve/msolve/msolve.h:28:9: error: unknown type name ‘param_t’; did you mean ‘mpz_param_t’?
28 | param_t **nmod_param,
| ^~~~~~~
| mpz_param_t
/usr/include/msolve/msolve/msolve.h:48:9: error: unknown type name ‘param_t’; did you mean ‘mpz_param_t’?
48 | param_t **nmod_param,
| ^~~~~~~
| mpz_param_t
/usr/include/msolve/msolve/msolve.h:89:9: error: unknown type name ‘param_t’; did you mean ‘mpz_param_t’?
89 | param_t **nmod_param,
| ^~~~~~~
| mpz_param_t
/usr/include/msolve/msolve/msolve.h:93:9: error: unknown type name ‘interval’
93 | interval **real_roots_ptr,
| ^~~~~~~~
/usr/include/msolve/msolve/msolve.h:134:9: error: unknown type name ‘param_t’; did you mean ‘mpz_param_t’?
134 | param_t **paramp,
| ^~~~~~~
| mpz_param_t
/usr/include/msolve/msolve/msolve.h:137:9: error: unknown type name ‘interval’
137 | interval **real_roots_ptr,
| ^~~~~~~~
When compiling a simple C program with
#include <msolve/msolve/msolve.h>
, I get the following compile errors:Is there another header that should be included?