Name deb repos based on the full name
This lets you download multiple versions and architectures of the same
package. Before, it just silently used the wrong one.
Change-Id: Id99ab0018883796ccec63add356717eb383bf7f8
diff --git a/debian/packages.bzl b/debian/packages.bzl
index 8054d1d..ba1f840 100644
--- a/debian/packages.bzl
+++ b/debian/packages.bzl
@@ -55,13 +55,14 @@
)
def _convert_deb_to_target(deb):
- """Converts a debian package filename to a valid bazel target name."""
- target = deb.split("_")[0]
- target = target.replace("-", "_")
- target = target.replace(".", "_")
- target = target.replace(":", "_")
- target = target.replace("+", "x")
- return "deb_%s_repo" % target
+ """Converts a debian package filename to a valid bazel target name."""
+ target = deb
+ target = target.replace('-', '_')
+ target = target.replace('.', '_')
+ target = target.replace(':', '_')
+ target = target.replace('+', 'x')
+ target = target.replace('~', '_')
+ return "deb_%s_repo" % target
def generate_repositories_for_debs(files, base_url = "http://www.frc971.org/Build-Dependencies"):
"""A WORKSPACE helper to add all the deb packages in the dictionary as a repo.