Trouble Building

[keks]

Hi,

I am trying to build on Manjaro Linux (basically Arch).

Software versions:

• GCC 12.3.0
• Bazel 6.3.2
• nlopt 2.7.1
• ibex v2.8.9
• dreal4 git:945aa82 (latest happy commit in CI)

I first tried building the latest release, which didn't work for multiple reasons. First complained about the @bazel_tools/platforms -> @platforms migration, then about something else. I gave up and I tried building the latest that passes CI.

This is the output of bazel build:

$ CC=gcc-12 bazel build //...
INFO: Analyzed 543 targets (0 packages loaded, 0 targets configured).
INFO: Found 543 targets...
ERROR: /home/keks/studies/aur-package-real-solvers/dreal4/git/dreal4/dreal/util/BUILD.bazel:398:20: Compiling dreal/util/test/box_test.cc failed: (Exit 1): gcc-12 failed: error executing command (from target //dreal/util:box_test) /usr/bin/gcc-12 -U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 '-D_FORTIFY_SOURCE=1' -DNDEBUG -ffunction-sections ... (remaining 93 arguments skipped)

Use --sandbox_debug to see verbose messages from the sandbox and retain the sandbox build root for debugging
dreal/util/test/box_test.cc: In member function 'virtual void dreal::{anonymous}::BoxTest_IsNothrowMoveConstructible_Test::TestBody()':
dreal/util/test/box_test.cc:280:63: error: static assertion failed: Box::Interval should be nothrow_move_constructible.
  280 |   static_assert(is_nothrow_move_constructible<Box::Interval>::value,
      |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
dreal/util/test/box_test.cc:282:69: error: static assertion failed: Box::IntervalVector should be nothrow_move_constructible.
  282 |   static_assert(is_nothrow_move_constructible<Box::IntervalVector>::value,
      |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
dreal/util/test/box_test.cc:284:53: error: static assertion failed: Box should be nothrow_move_constructible.
  284 |   static_assert(is_nothrow_move_constructible<Box>::value,
      |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
INFO: Elapsed time: 51.301s, Critical Path: 36.97s
INFO: 67 processes: 24 internal, 43 linux-sandbox.
FAILED: Build did NOT complete successfully

It seems that this assert has been there for at least 6 years, so I am not sure what the problem is. Any help is appreciated! Once I get it to build I'll be happy to publish/upstream my PKGBUILD file to make building on Arch-based Linux distros easier.