Thanks, Tias. FlatZinc requires the scheduling library, but the
configure script didn't enforce that. It's fixed in the trunk.
Cheers,
Guido
Tias Guns wrote:
> Thank you for this new release,
>
> When compiling with:
> ./configure --disable-set-vars --disable-examples --disable-scheduling
>
> I get following error:
> ./libgecodeflatzinc.so: undefined reference to
> `Gecode::cumulatives(Gecode::Space&, Gecode::PrimArgArray<int> const&,
> Gecode::IntVarArgs const&, Gecode::IntVarArgs const&,
> Gecode::IntVarArgs
> const&, Gecode::IntVarArgs const&, Gecode::PrimArgArray<int> const&,
> bool,
> Gecode::IntConLevel)'
> collect2: ld returned 1 exit status
> make[1]: *** [tools/flatzinc/fz] Error 1
>
>
> This does not occur when removing --disable-scheduling from the
> configure
> script.
>
>
> Greetings,
> Tias
>
> On Tue, 06 Oct 2009 17:25:06 +0200, Guido Tack <[email protected]>
> wrote:
>
>> Dear all,
>>
>> we are releasing the next version of Gecode.
>>
>> Gecode 3.2.0
>> http://www.gecode.org
>>
>> This release has some important bug fixes (in particular for
>> global cardinality aka count), the documentation has been
>> improved (worked around some issues with generation by doxygen),
>> integrates the FlatZinc interpreter into the Gecode source tree,
>> provides propagators for disjunctive scheduling (experimental),
>> and lots of small changes and fixes. For more consistent names,
>> branchings are branchers now and branching descriptions are
>> choices (this you might have to adapt to).
>>
>> On our web site, you find source packages, as well as binary packages
>> for Windows and Mac OS.
>>
>> Cheers,
>> Guido
>>
>>
>> _______________________________________________
>> Gecode users mailing list
>> [email protected]
>> https://www.gecode.org/mailman/listinfo/gecode-users
>
>
> Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
>
> _______________________________________________
> Gecode users mailing list
> [email protected]
> https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
