yices2 is not compatible with OCaml 5.2

[kit-ty-kate]

ocamlc without any argument now returns an error.
Upstream issue polazarus/ocamlyices2#6 cc @polazarus

#=== ERROR while compiling yices2.0.0.3 =======================================#
# context              2.2.0~beta3~dev | linux/x86_64 | ocaml-variants.5.2.0+trunk | file:///home/opam/opam-repository
# path                 ~/.opam/5.2/.opam-switch/build/yices2.0.0.3
# command              ~/.opam/5.2/.opam-switch/build/yices2.0.0.3/./configure --prefix=/home/opam/.opam/5.2
# exit-code            1
# env-file             ~/.opam/log/yices2-20-d56fdb.env
# output-file          ~/.opam/log/yices2-20-d56fdb.out
### output ###
# checking build system type... x86_64-unknown-linux-gnu
# checking host system type... x86_64-unknown-linux-gnu
# checking for gcc... gcc
# checking whether the C compiler works... yes
# checking for C compiler default output file name... a.out
# checking for suffix of executables... 
# checking whether we are cross compiling... no
# checking for suffix of object files... o
# checking whether we are using the GNU C compiler... yes
# checking whether gcc accepts -g... yes
# checking for gcc option to accept ISO C89... none needed
# checking how to run the C preprocessor... gcc -E
# checking for grep that handles long lines and -e... /usr/bin/grep
# checking for egrep... /usr/bin/grep -E
# checking for ANSI C header files... yes
# checking for sys/types.h... yes
# checking for sys/stat.h... yes
# checking for stdlib.h... yes
# checking for string.h... yes
# checking for memory.h... yes
# checking for strings.h... yes
# checking for inttypes.h... yes
# checking for stdint.h... yes
# checking for unistd.h... yes
# checking gmp.h usability... yes
# checking gmp.h presence... yes
# checking for gmp.h... yes
# checking for fopencookie... yes
# checking for funopen... no
# checking for ocamlfind... ocamlfind
# checking for ocamlfind ocamlc... no
# configure: error: "'ocamlfind' not configured correctly (cannot run 'ocamlc')"

[mseri]

Builds where it can

[mseri]

Thanks