From d35b4092de714dc0e1a4cb89f83a1d567fca5eb7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jelmer=20Vernoo=C4=B3?= Date: Thu, 25 Mar 2021 23:55:08 +0000 Subject: [PATCH] Add manual map. --- ognibuild/resolver/apt.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/ognibuild/resolver/apt.py b/ognibuild/resolver/apt.py index 1bc4f78..85275fd 100644 --- a/ognibuild/resolver/apt.py +++ b/ognibuild/resolver/apt.py @@ -235,11 +235,18 @@ def get_package_for_python_module(apt_mgr, module, python_version, specs): return [AptRequirement(python_spec_to_apt_rels(name, specs)) for name in names] +vague_map = { + 'the Gnu Scientific Library': 'libgsl-dev', +} + + def resolve_vague_dep_req(apt_mgr, req): name = req.name + options = [] + if name in vague_map: + options.append(AptRequirement.simple(vague_map[name])) if name.startswith('gnu '): name = name[4:] - options = [] for x in req.expand(): options.extend(resolve_requirement_apt(apt_mgr, x)) return options