Merge branch 'master' into master

HumanED · Jul 25, 2020 · f5cdd6e · f5cdd6e
2 parents 1e8f39b + 1685aae
commit f5cdd6e
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/build3/findOpenGLGlewGlut.lua b/build3/findOpenGLGlewGlut.lua
@@ -59,6 +59,22 @@
 	end
 
 
+	function initX11()
+		if os.is("Linux") then
+			if _OPTIONS["enable_system_x11"] and (os.isdir("/usr/include") and os.isfile("/usr/include/X11/X.h")) then
+				links{"X11","pthread"}
+			else
+				print("No X11/X.h found, using dynamic loading of X11")
+				includedirs {
+                                        projectRootDir .. "examples/ThirdPartyLibs/optionalX11"
+                                }
+				defines {"DYNAMIC_LOAD_X11_FUNCTIONS"}	
+				links {"dl","pthread"}
+			end
+		end
+	end
+
+
 	function initGlew()
 		configuration {}
 		if os.is("Windows") then