Configure failed for 3.3.1 on macOS
Environment
- macOS 10.15.6
- Apple clang version 12.0.0 (clang-1200.0.31.1)
- OCaml 4.09.1
- Coq 8.10.2
- Tag
flocq-3.3.1
Error message
...
configure: building remake...
remake.cpp:803:8: error: must use 'struct' tag to refer to type 'log' in this scope
static log debug;
^
struct
/Library/Developer/CommandLineTools/SDKs/MacOSX10.15.sdk/usr/include/math.h:373:15: note: struct 'log' is hidden by a non-type declaration of 'log'
here
extern double log(double);
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/math.h:1003:1: note: struct 'log' is hidden by a non-type declaration of 'log' here
log(_A1 __lcpp_x) _NOEXCEPT {return ::log((double)__lcpp_x);}
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/math.h:997:46: note: struct 'log' is hidden by a non-type declaration of 'log' here
inline _LIBCPP_INLINE_VISIBILITY long double log(long double __lcpp_x) _NOEXCEPT {return ::logl(__lcpp_x);}
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/math.h:996:46: note: struct 'log' is hidden by a non-type declaration of 'log' here
inline _LIBCPP_INLINE_VISIBILITY float log(float __lcpp_x) _NOEXCEPT {return ::logf(__lcpp_x);}
^
...
configure: error: failed
See `config.log' for more details
config.log