From 7e96c5b131977978ff8010df4f9f0e643358e4d4 Mon Sep 17 00:00:00 2001
From: Sasha Tsvyashchenko <at@daedalean.ai>
Date: Mon, 30 Sep 2019 17:17:41 +0200
Subject: [PATCH] Add dmlc-core to the list of installed header directories.

There are dependencies on dmlc-core in TVM public API headers
(e.g. some headers include dmlc/logging.h) so it needs to be installed
as part of TVM for TVM headers to be actually usable.
---
 CMakeLists.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index abf198de1c53..d60e2ad356d9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -361,6 +361,11 @@ if (INSTALL_DEV)
     FILES_MATCHING
     PATTERN "*.h"
     )
+  install(
+    DIRECTORY "3rdparty/dmlc-core/include/." DESTINATION "include"
+    FILES_MATCHING
+    PATTERN "*.h"
+    )
   install(
     DIRECTORY "nnvm/include/." DESTINATION "include"
     FILES_MATCHING