Update perseus

delete space
This commit is contained in:
Giacomo 2022-06-27 10:08:55 +02:00 committed by GitHub
parent cd52b6d893
commit 22bccbcd97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,9 +13,7 @@ stdenv.mkDerivation {
};
sourceRoot = ".";
NIX_CFLAGS_COMPILE = [ "-std=c++14" ]; # Otherwise it does not compile
NIX_CFLAGS_COMPILE = [ "-std=c++14" ];
buildPhase = ''
g++ Pers.cpp -O3 -fpermissive -o perseus
'';