diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2024-03-09 16:50:49 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2024-03-09 16:50:49 +0100 |
| commit | af10a630438ce23c265b2016e8a6066415be4605 (patch) | |
| tree | 027047c4c598255fd7a14b3f3e3da9f82961a65d /pkgs/applications/science | |
| parent | 56815701710f92183e7a8524218ad1acc296e602 (diff) | |
| download | nixlib-af10a630438ce23c265b2016e8a6066415be4605.tar nixlib-af10a630438ce23c265b2016e8a6066415be4605.tar.gz nixlib-af10a630438ce23c265b2016e8a6066415be4605.tar.bz2 nixlib-af10a630438ce23c265b2016e8a6066415be4605.tar.lz nixlib-af10a630438ce23c265b2016e8a6066415be4605.tar.xz nixlib-af10a630438ce23c265b2016e8a6066415be4605.tar.zst nixlib-af10a630438ce23c265b2016e8a6066415be4605.zip | |
Revert "elan: revert temporary directory creation"
This reverts commit 66e4e61595be917977b010ef319483e13aa1ab6c.
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/elan/default.nix | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix index 129aacc07f62..245f8db13ce6 100644 --- a/pkgs/applications/science/logic/elan/default.nix +++ b/pkgs/applications/science/logic/elan/default.nix @@ -1,4 +1,4 @@ -{ 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" { |