let set_deb_options () =
let native =
if Opt.is_set deb_native_arch then
Opt.get deb_native_arch
else ""
in
let foreign =
if Opt.is_set deb_foreign_archs then
Opt.get deb_foreign_archs
else []
in
let target =
if Opt.is_set deb_target_arch then
Opt.get deb_target_arch
else native
in
{
Debian.Debcudf.default_options with
Debian.Debcudf.native = native;
foreign = foreign;
target = target;
ignore_essential = Opt.get deb_ignore_essential
}