From 72a80cca739af6f7b009d34ed185f8c77f0a1a70 Mon Sep 17 00:00:00 2001
From: Benjamin Taubmann <bt@sec.uni-passau.de>
Date: Mon, 24 Feb 2020 11:23:50 +0100
Subject: [PATCH] fix build system for debian 9.12

---
 libvmi/libvmi_build.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libvmi/libvmi_build.py b/libvmi/libvmi_build.py
index 86350fe..d177fc9 100755
--- a/libvmi/libvmi_build.py
+++ b/libvmi/libvmi_build.py
@@ -60,6 +60,7 @@ def check_header(header):
 
 includes = []
 includes.extend(glib_includes)
+includes.extend(["/usr/local/include"])
 
 libs = []
 libs.extend(libvmi_libs)
@@ -73,6 +74,7 @@ def check_header(header):
     CDEF_HEADERS.append('events_cdef.h')
 
 c_header_source = '\n'.join(['#include '+source for source in VMI_SOURCES])
+c_header_source += "\n#include <glib.h>"
 print(c_header_source)
 
 # set source