Unverified Commit 11303cd9 authored by Heitor Augusto's avatar Heitor Augusto Committed by GitHub
Browse files

steel-language-server: init at 0-unstable-2026-01-15 (#452978)

parents a45c62b8 c63c673e
Loading
Loading
Loading
Loading
+38 −0
Original line number Diff line number Diff line
{
  lib,
  rustPlatform,
  makeBinaryWrapper,
  steel,
}:
rustPlatform.buildRustPackage {
  pname = "steel-language-server";

  inherit (steel)
    version
    src
    cargoHash
    postPatch
    ;

  nativeBuildInputs = [
    makeBinaryWrapper
    rustPlatform.bindgenHook
  ];

  cargoBuildFlags = [
    "--package"
    "steel-language-server"
  ];

  doCheck = false;

  postFixup = ''
    wrapProgram $out/bin/steel-language-server --set-default STEEL_HOME "${steel}/lib/steel"
  '';

  meta = steel.meta // {
    description = "Steel language server";
    maintainers = steel.meta.maintainers ++ [ lib.maintainers.higherorderlogic ];
    mainProgram = "steel-language-server";
  };
}
+3 −0
Original line number Diff line number Diff line
@@ -91,6 +91,9 @@ rustPlatform.buildRustPackage {

  postFixup = ''
    wrapProgram $out/bin/steel --set-default STEEL_HOME "$out/lib/steel"
    wrapProgram $out/bin/steel-language-server --set-default STEEL_HOME "$out/lib/steel"
    wrapProgram $out/bin/forge --set-default STEEL_HOME "$out/lib/steel"
    wrapProgram $out/bin/cargo-steel-lib --set-default STEEL_HOME "$out/lib/steel"
  '';

  env = {