[Caml-list] Is the IRILL CUDF solver farm down?

[Caml-list] Is the IRILL CUDF solver farm down?

[Gabriel Scherer]

Hi all,

Would anyone know when the IRILL CUDF solver farm should be back up?
  http://cudf-solvers.irill.org/
  https://opam.ocaml.org/doc/Specifying_Solver_Preferences.html#UsingexternalsolversintheCloud

This is a very useful service to me, so thanks to everyone working on this.

(The reason why I have a use for this is that no decent CUDF solvers
are packaged for Fedora 25, in turn because they tend to emit warnings
on recent GCC versions -- the OCaml Debian packagers did the work of
fixing them, but new Fedora packages have to be devised. I planned to
take this as an occasion to learn Fedora packaging, but never got the
time to do it.)

Re: [Caml-list] Is the IRILL CUDF solver farm down?

[Francois BERENGER]

On 02/20/2017 02:47 PM, Gabriel Scherer wrote:
> Hi all,
>
> Would anyone know when the IRILL CUDF solver farm should be back up?
>   http://cudf-solvers.irill.org/
>   https://opam.ocaml.org/doc/Specifying_Solver_Preferences.html#UsingexternalsolversintheCloud
>
> This is a very useful service to me, so thanks to everyone working on this.
>
> (The reason why I have a use for this is that no decent CUDF solvers
> are packaged for Fedora 25, in turn because they tend to emit warnings
> on recent GCC versions -- the OCaml Debian packagers did the work of
> fixing them, but new Fedora packages have to be devised. I planned to
> take this as an occasion to learn Fedora packaging, but never got the
> time to do it.)

If you want to create a package quickly, there is fpm:
https://github.com/jordansissel/fpm