Use downloaded pandoc instead of relying on it to be installed
Change-Id: I6477b14bafd04b4d44257526c99d816e77661bb0
diff --git a/debian/pandoc.BUILD b/debian/pandoc.BUILD
new file mode 100644
index 0000000..7e3084e
--- /dev/null
+++ b/debian/pandoc.BUILD
@@ -0,0 +1,25 @@
+genrule(
+ name = "gen_wrapper",
+ outs = ["pandoc_wrapper"],
+ cmd = "\n".join([
+ "cat > $@ <<END",
+ "#!/bin/bash",
+ "export LD_LIBRARY_PATH=external/pandoc/usr/lib/x86_64-linux-gnu:external/pandoc/lib/x86_64-linux-gnu",
+ "exec external/pandoc/usr/bin/pandoc \"\\$$@\"",
+ "END",
+ ]),
+ executable = True,
+)
+
+filegroup(
+ name = "pandoc",
+ srcs = ["pandoc_wrapper"],
+ data = glob(["**"]),
+ visibility = ["//visibility:public"],
+)
+
+filegroup(
+ name = "all_files",
+ srcs = glob(["**"]),
+ visibility = ["//visibility:public"],
+)