diff --git a/graphics/instant-meshes/files/patch-ext_nanogui_include_nanogui_common.h b/graphics/instant-meshes/files/patch-ext_nanogui_include_nanogui_common.h new file mode 100644 index 000000000000..92b54293d8d2 --- /dev/null +++ b/graphics/instant-meshes/files/patch-ext_nanogui_include_nanogui_common.h @@ -0,0 +1,10 @@ +--- ext/nanogui/include/nanogui/common.h.orig 2016-10-15 20:12:12 UTC ++++ ext/nanogui/include/nanogui/common.h +@@ -16,6 +16,7 @@ + #include + #include + #include ++#include + + /* Set to 1 to draw boxes around widgets */ + //#define NANOGUI_SHOW_WIDGET_BOUNDS 1 diff --git a/graphics/instant-meshes/files/patch-src_common.h b/graphics/instant-meshes/files/patch-src_common.h new file mode 100644 index 000000000000..268b5e9cafad --- /dev/null +++ b/graphics/instant-meshes/files/patch-src_common.h @@ -0,0 +1,10 @@ +--- src/common.h.orig 2017-09-06 16:18:14 UTC ++++ src/common.h +@@ -30,6 +30,7 @@ + #include + #include + #include ++#include + + #define PARALLELIZE + #define SINGLE_PRECISION