From 4acc93a5b766d0d2072040cde8b186389754b64c Mon Sep 17 00:00:00 2001
From: Pierre Fenoll <pierrefenoll@gmail.com>
Date: Thu, 9 Jul 2020 10:51:58 +0200
Subject: [PATCH] Support for OpenCV on Ubuntu 20.04 in opencv_linux.BUILD

Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
---
 third_party/opencv_linux.BUILD | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/third_party/opencv_linux.BUILD b/third_party/opencv_linux.BUILD
index 2f21cbe92..0f5c637cc 100644
--- a/third_party/opencv_linux.BUILD
+++ b/third_party/opencv_linux.BUILD
@@ -1,6 +1,8 @@
 # Description:
 #   OpenCV libraries for video/image processing on Linux
 
+load("@rules_cc//cc:defs.bzl", "cc_library")
+
 licenses(["notice"])  # BSD license
 
 exports_files(["LICENSE"])
@@ -25,8 +27,18 @@ cc_library(
             "lib/x86_64-linux-gnu/libopencv_videoio.so",
         ],
     ),
-    hdrs = glob(["include/opencv2/**/*.h*"]),
-    includes = ["include/"],
+    hdrs = glob([
+        # For Ubuntu 18.04:
+        "include/opencv2/**/*.h*",
+        # For Ubuntu 20.04:
+        "include/opencv4/opencv2/**/*.h*",
+    ]),
+    includes = [
+        # For Ubuntu 18.04:
+        "include/",
+        # For Ubuntu 20.04:
+        "include/opencv4/",
+    ],
     linkstatic = 1,
     visibility = ["//visibility:public"],
 )