let eclipse_load_list options dll =
let extras = [] in
let pkglist = List.flatten dll in
let tables = Eclipse.Eclipsecudf.init_tables pkglist in
let from_cudf (p,i) = (p, Eclipse.Eclipsecudf.get_real_version tables (p,i)) in
let to_cudf (p,v) = (p, Eclipse.Eclipsecudf.get_cudf_version tables (p,v)) in
let cll =
List.map (fun l ->
List.map (Eclipse.Eclipsecudf.tocudf ~extras tables) l
) dll
in
let preamble = Eclipse.Eclipsecudf.preamble in
(preamble,cll,from_cudf,to_cudf)