gecode
gecode copied to clipboard
Remove obsolete AC_GECODE_TIMER M4 macro from configure.ac.in
In bc31c318b73b47a085551fc3a6fa70dba89dad28 Gecode's timer handling was unified to std::chrono::steady_clock. This removed the need for checking at build time for which timer to use and AC_GECODE_TIMER M4 macro was removed that tested for them but the configure.ac.in still had the call, breaking autotools build.