Commit 66e4e615 authored by Mario Rodas's avatar Mario Rodas
Browse files

elan: revert temporary directory creation

parent 97f8759a

pkgs/applications/science/logic/elan/default.nix

+9 −1
Original line number Diff line number Diff line 
{ stdenv, lib, runCommand, patchelf, makeWrapper, pkg-config, curl, runtimeShell

{ stdenv, lib, runCommand, patchelf, makeWrapper, pkg-config, curl, runtimeShell, fetchpatch

, openssl, zlib, fetchFromGitHub, rustPlatform, libiconv }:



rustPlatform.buildRustPackage rec {
@@ -23,6 +23,14 @@ rustPlatform.buildRustPackage rec { 
  buildFeatures = [ "no-self-update" ];



  patches = lib.optionals stdenv.isLinux [

    # revert temporary directory creation, because it break the wrapper

    # https://github.com/NixOS/nixpkgs/pull/289941#issuecomment-1980778358

    (fetchpatch {

      url = "https://github.com/leanprover/elan/commit/bd54acaab75d08b3912ee1f051af8657f3a9cfdf.patch";

      hash = "sha256-6If/wxWSea8Zjlp3fx9wh3D0TjmWZbvCuY9q5c2qJGA=";

      revert = true;

    })



    # Run patchelf on the downloaded binaries.

    # This is necessary because Lean 4 is now dynamically linked.

    (runCommand "0001-dynamically-patchelf-binaries.patch" {