diff options
| author | Adam Jackson <ajax@redhat.com> | 2015-06-23 15:41:13 -0400 |
|---|---|---|
| committer | Courtney Goeltzenleuchter <courtney@LunarG.com> | 2015-07-17 10:05:24 -0600 |
| commit | dfd557c9379fe8830147bc729a39c6e5b80b4403 (patch) | |
| tree | a04b3e3dc6e1488f27932454265f533a3c767c7b | |
| parent | 8611f13202d62088d172e65e2b638a6a025ba2bb (diff) | |
| download | usermoji-dfd557c9379fe8830147bc729a39c6e5b80b4403.tar.xz | |
cmake: Don't check for installed glm, it's in-tree
| -rw-r--r-- | demos/CMakeLists.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/demos/CMakeLists.txt b/demos/CMakeLists.txt index 6b48fcdd..b9d1a378 100644 --- a/demos/CMakeLists.txt +++ b/demos/CMakeLists.txt @@ -3,9 +3,6 @@ if(NOT WIN32) endif() if(NOT WIN32) - if(NOT EXISTS /usr/include/glm/glm.hpp) - message(FATAL_ERROR "Necessary libglm-dev headers cannot be found: sudo apt-get install libglm-dev") - endif() if(NOT EXISTS /usr/include/png.h) message(FATAL_ERROR "Necessary png12-dev headers cannot be found: sudo apt-get install libpng12-dev") endif() |