diff options
| author | Ricardo Ardissone <ricardo.ardissone@gmail.com> | 2016-04-11 08:38:54 -0300 |
|---|---|---|
| committer | Ricardo Ardissone <ricardo.ardissone@gmail.com> | 2016-04-11 08:38:54 -0300 |
| commit | 631261091149fb213e6d328209b378816191ab2b (patch) | |
| tree | 122c383a7e9e02a4b95847b7624c47cfeac055c8 /pkgs/development/libraries/mygui | |
| parent | 1d36e6ec0784e5813549ea0daaf3a565f1945d84 (diff) | |
| download | nixlib-631261091149fb213e6d328209b378816191ab2b.tar nixlib-631261091149fb213e6d328209b378816191ab2b.tar.gz nixlib-631261091149fb213e6d328209b378816191ab2b.tar.bz2 nixlib-631261091149fb213e6d328209b378816191ab2b.tar.lz nixlib-631261091149fb213e6d328209b378816191ab2b.tar.xz nixlib-631261091149fb213e6d328209b378816191ab2b.tar.zst nixlib-631261091149fb213e6d328209b378816191ab2b.zip | |
mygui: add withOgre argument
Diffstat (limited to 'pkgs/development/libraries/mygui')
| -rw-r--r-- | pkgs/development/libraries/mygui/default.nix | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/pkgs/development/libraries/mygui/default.nix b/pkgs/development/libraries/mygui/default.nix index 2fa62ced2d5b..0a076239b6bd 100644 --- a/pkgs/development/libraries/mygui/default.nix +++ b/pkgs/development/libraries/mygui/default.nix @@ -1,9 +1,10 @@ -{stdenv, fetchFromGitHub, libX11, unzip, ogre, cmake, ois, freetype, libuuid, boost, pkgconfig}: +{ stdenv, fetchFromGitHub, libX11, unzip, cmake, ois, freetype, libuuid, + boost, pkgconfig, lib, withOgre ? true, ogre ? null } : stdenv.mkDerivation rec { name = "mygui-${version}"; version = "3.2.2"; - + src = fetchFromGitHub { owner = "MyGUI"; repo = "mygui"; @@ -13,7 +14,11 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - buildInputs = [ libX11 unzip ogre cmake ois freetype libuuid boost pkgconfig ]; + + buildInputs = [ libX11 unzip cmake ois freetype libuuid boost pkgconfig ] + ++ lib.optional withOgre [ ogre ]; + + cmakeFlags = lib.optional (! withOgre) ["-DMYGUI_RENDERSYSTEM=1" "-DMYGUI_BUILD_DEMOS=OFF" "-DMYGUI_BUILD_TOOLS=OFF" "-DMYGUI_BUILD_PLUGINS=OFF"]; meta = { homepage = http://mygui.info/; |