Commit af10a630 authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Revert "elan: revert temporary directory creation" 

This reverts commit 66e4e615.
parent 56815701

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

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

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

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



rustPlatform.buildRustPackage rec {
@@ -23,14 +23,6 @@ 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" {