commit 9fc87e00dfee904c15a4dc2f8550e88658f2791c
author Philipp Schrader <philipp.schrader@gmail.com> Sat Mar 10 20:36:39 2018 -0800
committer Brian Silverman <bsilver16384@gmail.com> Sun Aug 05 10:43:00 2018 -0700
tree 33f48ba05073ba0beae917b27c1233c4b8af5ad6
parent aedfc5c2a53815a956cad3ab6d5051c52f6e3944

Use pre-packaged Python libraries instead of /usr

Change-Id: If27064f17c243ab1b0c98957a013eb86a37b5cb0

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 42bf4e9..e250a5c 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -7,6 +7,13 @@
 generate_repositories_for_debs(python_debs)
 generate_repositories_for_debs(clang_debs)
 
+new_http_archive(
+  name = 'python_repo',
+  build_file = 'debian/python.BUILD',
+  sha256 = '21214b6386273698b6aa1b64bccf1bc8c5ef4ef44563871bac5cd85383575af5',
+  url = 'http://frc971.org/Build-Dependencies/python.tar.gz',
+)
+
 new_local_repository(
   name = 'usr_repo',
   path = '/usr',