Merge #240037: cpeditor: fixup build

This commit is contained in:
Vladimír Čunát 2023-06-27 07:45:01 +02:00
commit e426af54ff
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -30,6 +30,8 @@ stdenv.mkDerivation rec {
substituteInPlace src/Core/Runner.cpp --replace "/bin/bash" "${runtimeShell}"
'';
env.NIX_CFLAGS_COMPILE = "-std=c++14";
meta = with lib; {
description = "An IDE specially designed for competitive programming";
homepage = "https://cpeditor.org";