Unverified Commit e66d1a3e authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

flopoco: fix build with gcc 15 (#482099)

parents ce83efa0 6153943c

pkgs/by-name/sc/scalp/package.nix

+1 −0
Original line number Diff line number Diff line
@@ -24,6 +24,7 @@ stdenv.mkDerivation rec { 
  };



  postPatch = ''

    sed -i "1i\#include <cstdint>" src/ScaLP/Solver.cpp

    substituteInPlace CMakeLists.txt \

      --replace-fail "cmake_minimum_required (VERSION 3.3.2)" "cmake_minimum_required (VERSION 3.5)" \

      --replace-fail "\''$ORIGIN" "\''${CMAKE_INSTALL_PREFIX}/lib" \

pkgs/by-name/so/sollya/package.nix

+4 −0
Original line number Diff line number Diff line
@@ -30,6 +30,10 @@ stdenv.mkDerivation rec { 
    "--with-xml2-config=${lib.getExe' (lib.getDev libxml2) "xml2-config"}"

  ];



  makeFlags = [

    "CFLAGS=-std=c17"

  ];



  doCheck = true;



  meta = {

pkgs/by-name/wc/wcpg/package.nix

+4 −0
Original line number Diff line number Diff line
@@ -35,6 +35,10 @@ stdenv.mkDerivation rec { 
    mpfr

  ];



  makeFlags = [

    "CFLAGS=-std=c17"

  ];



  meta = {

    description = "Worst-Case Peak-Gain library";

    homepage = "https://github.com/fixif/WCPG";