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 through 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
curlis installed on your system, and will be much faster if
bzip2is present as well.
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
Cache and Statistics
The solver farm keeps a cache of the requests. This allows to provide faster answers and may in the future be used to compute various kinds of statistics. We do not log the IP from which the request orginates.
If you have problems using the farm, put a bug report on our bug tracker.