3
0
Fork 0
forked from mirrors/nixpkgs

mygui: disable ogre by default

This commit is contained in:
Nikolay Amiantov 2016-04-11 18:18:12 +03:00
parent c74e2b51e8
commit 6a5387e68c

View file

@ -1,5 +1,5 @@
{ stdenv, fetchFromGitHub, libX11, unzip, cmake, ois, freetype, libuuid,
boost, pkgconfig, withOgre ? true, ogre ? null, mesa ? null } :
boost, pkgconfig, withOgre ? false, ogre ? null, mesa ? null } :
let
renderSystem = if withOgre then "3" else "4";