OR Tools 9.4 Flatzinc release

[scand1sk]

Are you going to release binaries for OR-Tools FlatZinc 9.4?
I'm particularily interested in a Debian version but the release of 9.3 for Ubuntu 20.04 works just fine on Debian Sid (> 11).
Alternatively, build instructions would be fine, too.

[Mizux]

bad news: flatzinc support in Makefile has been removed so we can't generate flatzinc archive anymore
good new: you can still build it using the CMake based build by enabling it using -DBUILD_FLATZINC=ON and it is already
shipped with the cpp archive...

or-tools/CMakeLists.txt

Lines 96 to 97 in ae7e6b5

	CMAKE_DEPENDENT_OPTION(BUILD_FLATZINC "Build flatzinc" ON "BUILD_CXX" OFF)
	message(STATUS "Build Flatzinc: ${BUILD_FLATZINC}")

Need to think about:

1. Add support for Debian Sid (aka docker debian:sid)
   ref: https://hub.docker.com/_/debian
   ref: https://wiki.debian.org/DebianTesting
2. Enable flatzinc build so it will be available in the C++ binary archive [already done]
3. Bring back makefile support [no ressource to do it]

[Mizux]

cpp archives contains a bin/fzn-ortools binary which should be the previous flatzinc binary.
note: has been renamed since we also provide the flatzinc library libflatzinc.so and in CMake you can't have two targets with the same name.

Is it sufficient for you ?

[scand1sk]

Yes, the binary from the CPP archive works on my current Debian Sid installation.
Thank you very much for your input.