Unverified Commit e6ef5d53 authored by Yohann Boniface's avatar Yohann Boniface Committed by GitHub
Browse files

avy: fix build with cmake4 (#501689)

parents c581380b 6c5d55cd

pkgs/by-name/av/avy/package.nix

+8 −0
Original line number Diff line number Diff line
@@ -24,6 +24,7 @@ stdenv.mkDerivation { 
    boost.out

    boost.dev

  ];



  env.NIX_CFLAGS_COMPILE = toString (

    [ "-Wno-narrowing" ]

    # Squelch endless stream of warnings on same few things
@@ -41,6 +42,13 @@ stdenv.mkDerivation { 
               '((Child = Dsd_NodeReadDec(Node,Index))>=0);' \

               '((intptr_t)(Child = Dsd_NodeReadDec(Node,Index))>=0);'



    substituteInPlace CMakeLists.txt \

      --replace-fail "cmake_minimum_required (VERSION 3.5.1)" "cmake_minimum_required (VERSION 3.10)"

    substituteInPlace abc/CMakeLists.txt \

      --replace-fail "cmake_minimum_required (VERSION 2.8.6)" "cmake_minimum_required (VERSION 3.10)"

    substituteInPlace {avy,muser2,glucose,minisat}/CMakeLists.txt \

      --replace-fail "cmake_minimum_required(VERSION 2.8.6)" "cmake_minimum_required (VERSION 3.10)"



    patch -p1 -d minisat -i ${./minisat-fenv.patch}

    patch -p1 -d glucose -i ${./glucose-fenv.patch}

  '';