flint: fix for structured attrs

This commit is contained in:
Jan Tojnar 2019-12-31 01:00:46 +01:00
parent 5ed6a9c70d
commit 01e8c64988
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
1 changed files with 1 additions and 1 deletions

View File

@ -39,7 +39,7 @@ stdenv.mkDerivation rec {
];
# issues with ntl -- https://github.com/wbhart/flint2/issues/487
NIX_CXXSTDLIB_COMPILE = [ "-std=c++11" ];
NIX_CXXSTDLIB_COMPILE = "-std=c++11";
patches = [
(fetchpatch {