devel/cbmc: fix build on powerpc64*
- powerpc64 always uses 64-bit long double.
- powerpc64le before 16.0 uses 64-bit long double and switched to
128-bit IEEE long double in 16.0.
Description
Description
Details
Details
- Provenance
pkubaj Authored on Mon, Aug 3, 7:39 AM - Parents
- R11:60252f383052: devel/objfw: fix build on powerpc64*
- Branches
- Unknown
- Tags