Unverified Commit 80a8ba12 authored by Shogo Takata's avatar Shogo Takata
Browse files

circt: fix cmake paths

parent 21d0d2f9

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 = {