commit 7297c0c900c3ef66a244b34d037356ad92829a00
author Brian Silverman <bsilver16384@gmail.com> Sun Aug 05 13:43:00 2018 -0700
committer Brian Silverman <bsilver16384@gmail.com> Sat Aug 11 23:50:25 2018 -0700
tree 95a3e5366e60e375613bb869a632260bcfd65ee8
parent e5aad9c1087c8fcd0876fe06aa3418cb4a27eb44

Use downloaded pandoc instead of relying on it to be installed

Change-Id: I6477b14bafd04b4d44257526c99d816e77661bb0

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 21b41f3..f256eb3 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -12,6 +12,10 @@
     "//debian:patch.bzl",
     patch_debs = "files",
 )
+load(
+    "//debian:pandoc.bzl",
+    pandoc_debs = "files",
+)
 load("//debian:packages.bzl", "generate_repositories_for_debs")
 
 generate_repositories_for_debs(python_debs)
@@ -20,6 +24,8 @@
 
 generate_repositories_for_debs(patch_debs)
 
+generate_repositories_for_debs(pandoc_debs)
+
 new_http_archive(
     name = "python_repo",
     build_file = "debian/python.BUILD",
@@ -184,3 +190,10 @@
     sha256 = "b5ce139648a2e04f5585948ddad2fdae24dd4ee7976ac5a22d6ae7bd5674631e",
     url = "http://frc971.org/Build-Dependencies/patch.tar.gz",
 )
+
+new_http_archive(
+    name = "pandoc",
+    build_file = "debian/pandoc.BUILD",
+    sha256 = "9f7a7adb3974a1f14715054c349ff3edc2909e920dbe3438fca437a83845f3c4",
+    url = "http://frc971.org/Build-Dependencies/pandoc.tar.gz",
+)