science/bddsolve: fix build with boost 1.83.0
/usr/local/include/boost/timer.hpp:21:3: error: This header is deprecated and will be removed. (You can define BOOST_TIMER_ENABLE_DEPRECATED to suppress this error.)
Description
Description
Details
Details
- Provenance
pkubaj Authored on Sep 29 2023, 8:00 PM - Parents
- R11:cef38de2695b: graphics/cptutils: fix build on big-endian architectures
- Branches
- Unknown
- Tags