CUDF Solver Farm
CUDF is a file format for the description of dependencies between
packages, designed by the Mancoosi team, at
IRILL. This format is used by modern
(such as OPAM) to communicate
with solvers (such as
aspcud), to find the near optimal set of
modifications to perform (installation, upgrade, removal) to
move a computer from one configuration to another one.
This solver farm can be used to get the power of the most efficient CUDF solvers though the network, without having to install them on your computer.
To use our CUDF solver farm from OPAM, here is the procedure to follow:
Note that this script will assume that
bzip2are installed on your system. If
bzip2is not available for your system, you might want to use
Make it executable:
% chmod +x cudf_remote_proxy
Copy it in a directory accessible from your PATH (for example, the one where
% which opam /usr/local/bin/opam % mv cudf_remote_proxy /usr/local/bin/ mv: cannot move `cudf_remote_proxy' to `/usr/local/bin/cudf_remote_proxy': Permission denied % sudo mv cudf_remote_proxy /usr/local/bin/
Test that it works:
With a recent version of
You are done ! Enjoy !
opam, you can just type
opam --solver=cudf_remote_proxy, or set the appropriate environment variable by adding
OPAMEXTERNALSOLVER=cudf_remote_proxyto your shell profile.
A less elegant solution that works even with old versions of
to just copy
% cp /usr/local/bin/cudf_remote_proxy /usr/local/bin/aspcud
If you have problems using the farm, put a bug report on our bug tracker.