diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-02-02 14:04:46 +0100 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2022-02-14 15:17:58 +0100 |
| commit | 75f5b1f5b287f8f34cc5442891406438d6cd6ac7 (patch) | |
| tree | 3ee2d13ade4c57a23913f972c858ac1ab9377189 /pkgs/applications/science/biology/neuron/default.nix | |
| parent | 69a4d3855b5ad6c0b7bf76d05ca9ea4c1355c2cc (diff) | |
| download | nixpkgs-75f5b1f5b287f8f34cc5442891406438d6cd6ac7.tar nixpkgs-75f5b1f5b287f8f34cc5442891406438d6cd6ac7.tar.gz nixpkgs-75f5b1f5b287f8f34cc5442891406438d6cd6ac7.tar.bz2 nixpkgs-75f5b1f5b287f8f34cc5442891406438d6cd6ac7.tar.lz nixpkgs-75f5b1f5b287f8f34cc5442891406438d6cd6ac7.tar.xz nixpkgs-75f5b1f5b287f8f34cc5442891406438d6cd6ac7.tar.zst nixpkgs-75f5b1f5b287f8f34cc5442891406438d6cd6ac7.zip | |
isabelle: Rebuild isabelle_setup.jar
This jar contained a call to /usr/bin/env bash which was causing an error during the build of the HOL session (which could be ignored) and caused other errors during the development of https://github.com/NixOS/nixpkgs/pull/157515 (which could not be ignored). This commit patches the java sources to call `bash` directly and rebuild the jar.
Diffstat (limited to 'pkgs/applications/science/biology/neuron/default.nix')
0 files changed, 0 insertions, 0 deletions