[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0
From: |
Andreas Enge |
Subject: |
[bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. |
Date: |
Wed, 15 May 2024 14:06:50 +0200 |
And I have just pushed a gecode version based on the latest git commit
in the release/6.3.0 branch.
Unfortunately I had forgotten to test whether the dependent package minizinc
still builds, and it does not - neither the current version, nor 2.8.3, nor
the just released 2.8.4.
The last one fails like so:
/tmp/guix-build-minizinc-2.8.4.drv-0/source/solvers/gecode/gecode_solverinstance.cpp:
In member function ‘void MiniZinc::GecodeSolverInstance::prepareEngine()’:
/tmp/guix-build-minizinc-2.8.4.drv-0/source/solvers/gecode/gecode_solverinstance.cpp:1350:54:
error: no matching function for call to
‘Gecode::Driver::CombinedStop::create(int&, int&, int&, bool)’
1350 | engineOptions.stop = Driver::CombinedStop::create(nodeStop,
failStop, timeStop, false);
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from
/gnu/store/dhnd6kpwp5g1ycc3s9ycdccybapdfjxy-gecode-6.2.0-1.f7f0d7c/include/gecode/driver.hh:835,
from
/tmp/guix-build-minizinc-2.8.4.drv-0/source/include/minizinc/solvers/gecode/fzn_space.hh:16,
from
/tmp/guix-build-minizinc-2.8.4.drv-0/source/solvers/gecode/gecode_solverinstance.cpp:15:
/gnu/store/dhnd6kpwp5g1ycc3s9ycdccybapdfjxy-gecode-6.2.0-1.f7f0d7c/include/gecode/driver/script.hpp:98:5:
note: candidate: ‘static Gecode::Search::Stop*
Gecode::Driver::CombinedStop::create(long long unsigned int, long long unsigned
int, double, long long unsigned int, bool)’
98 | create(unsigned long long int node,
| ^~~~~~
/gnu/store/dhnd6kpwp5g1ycc3s9ycdccybapdfjxy-gecode-6.2.0-1.f7f0d7c/include/gecode/driver/script.hpp:98:5:
note: candidate expects 5 arguments, 4 provided
One solution would be to downgrade gecode to the commit that you provided
and tested minizinc with. Since you are probably familiar with the code,
do you see a better solution?
Andreas