commit df6bb9c9937453bbd01e90d6dede8d18777b4c60
author Brian Silverman <brians> Sun Nov 29 00:03:47 2015 +0000
committer Brian Silverman <brians> Sun Nov 29 00:03:47 2015 +0000
tree bb1bb280d72b96297e19499c19670fe3b3257186
parent 8074baa537003f10b9ed2d24154ce1ebc0bae990

Remove unused and broken binds

Change-Id: I4112f9f2c0c53d4891802874937b07840a446b47

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 43ee6e5..221437a 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -16,28 +16,6 @@
   actual = '@slycot_repo//:slycot',
 )
 
-# TODO(brian): Make these point to something which isn't hard-coded to come off
-# the host system...
-bind(
-  name = 'librt',
-  actual = '@usr_repo//:librt',
-)
-
-bind(
-  name = 'libdl',
-  actual = '@usr_repo//:libdl',
-)
-
-bind(
-  name = 'libm',
-  actual = '@usr_repo//:libm',
-)
-
-bind(
-  name = 'libpthread',
-  actual = '@usr_repo//:libpthread',
-)
-
 new_http_archive(
   name = 'arm-frc-linux-gnueabi-repo',
   build_file = 'tools/cpp/arm-frc-linux-gnueabi/arm-frc-linux-gnueabi.BUILD',