Unverified Commit a4c456d8 authored by Peder Bergebakken Sundt's avatar Peder Bergebakken Sundt Committed by GitHub
Browse files

circt: fix cmake paths (#388635)

parents 670c9d2b 80a8ba12

pkgs/by-name/ci/circt/package.nix

+11 −0
Original line number Diff line number Diff line
@@ -125,6 +125,17 @@ stdenv.mkDerivation rec { 


  postInstall = ''

    moveToOutput lib "$lib"

    moveToOutput lib/cmake "$dev"



    substituteInPlace $dev/lib/cmake/circt/CIRCTConfig.cmake \

      --replace-fail "\''${CIRCT_INSTALL_PREFIX}/lib/cmake/mlir" "${circt-llvm.dev}/lib/cmake/mlir" \

      --replace-fail "\''${CIRCT_INSTALL_PREFIX}/lib/cmake/circt" "$dev/lib/cmake/circt" \

      --replace-fail "\''${CIRCT_INSTALL_PREFIX}/include" "$dev/include" \

      --replace-fail "\''${CIRCT_INSTALL_PREFIX}/lib" "$lib/lib" \

      --replace-fail "\''${CIRCT_INSTALL_PREFIX}/bin" "$out/bin" \

      --replace-fail "\''${CIRCT_INSTALL_PREFIX}" "$out"

    substituteInPlace $dev/lib/cmake/circt/CIRCTTargets-release.cmake \

      --replace-fail "\''${_IMPORT_PREFIX}/lib" "$lib/lib"

  '';



  passthru = {