commit 16a923cfa22f91c49b6f1b6ccb8bf0e2316803a1
author Brian Silverman <bsilver16384@gmail.com> Wed Oct 31 19:40:51 2018 -0700
committer Brian Silverman <bsilver16384@gmail.com> Wed Oct 31 19:43:43 2018 -0700
tree 29ba2c5ac4189379e55340ca0a203c15a2a9726b
parent 87dc7bb50ccbe5e5874e19b33e1b28e385103de9

Use gflags with bazel the way it recommends

Also lets us remove the hand-generated headers which are now out of
date.

Change-Id: I8673300b6c8c4e7a32e68a07d48ac79cb59faa62

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 46703b9..0ae306c 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -1,7 +1,6 @@
 workspace(name = "org_frc971")
 
 load("@bazel_tools//tools/build_defs/repo:git.bzl", "new_git_repository")
-
 load(
     "//debian:python.bzl",
     python_debs = "files",
@@ -42,7 +41,6 @@
     "//debian:python_gtk.bzl",
     python_gtk_debs = "files",
 )
-
 load(
     "//debian:ruby.bzl",
     ruby_debs = "files",
@@ -135,6 +133,11 @@
     actual = "@python_gflags_repo//:gflags",
 )
 
+local_repository(
+    name = "com_github_gflags_gflags",
+    path = "third_party/gflags",
+)
+
 new_http_archive(
     name = "python_glog_repo",
     build_file = "debian/glog.BUILD",