catch: 1.5.0 -> 1.7.0

This commit is contained in:
Edward Tjörnhammar 2017-02-02 21:23:16 +01:00
parent 62dc683096
commit db73e446b4
No known key found for this signature in database
GPG Key ID: 7B82CE4A866B6845

View File

@ -3,20 +3,20 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "catch-${version}"; name = "catch-${version}";
version = "1.5.0"; version = "1.7.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "philsquared"; owner = "philsquared";
repo = "Catch"; repo = "Catch";
rev = "v" + version; rev = "v." + version;
sha256 = "1ag8siafg7fmb50qdqznryrg3lvv56f09nvqwqqn2rlk83zjnaw0"; sha256 = "0harki6irc4mqipjc24zyy0jimidr5ng3ss29bnpzbbwhrnkyrgm";
}; };
buildInputs = [ cmake ]; buildInputs = [ cmake ];
dontUseCmakeConfigure = true; dontUseCmakeConfigure = true;
buildPhase = '' buildPhase = ''
cmake -Hprojects/CMake -BBuild -DCMAKE_BUILD_TYPE=Release -DUSE_CPP11=ON cmake . -BBuild -DCMAKE_BUILD_TYPE=Release -DUSE_CPP11=ON
cd Build cd Build
make make
cd .. cd ..