diff options
author | Jan van Brügge <supermanitu@gmail.com> | 2022-01-31 13:08:52 +0100 |
---|---|---|
committer | Jan van Brügge <jan.van.brugge@futurice.com> | 2022-03-01 13:43:38 +0100 |
commit | c1ef185bdb88b148428fba00260afd23f8fc11ef (patch) | |
tree | d1ba1349a4a49bf33147f12e67d551b8346612d4 | |
parent | 2b71e6850398f368ebaf7e2914fd9d1d832252ca (diff) | |
download | nixpkgs-c1ef185bdb88b148428fba00260afd23f8fc11ef.tar nixpkgs-c1ef185bdb88b148428fba00260afd23f8fc11ef.tar.gz nixpkgs-c1ef185bdb88b148428fba00260afd23f8fc11ef.tar.bz2 nixpkgs-c1ef185bdb88b148428fba00260afd23f8fc11ef.tar.lz nixpkgs-c1ef185bdb88b148428fba00260afd23f8fc11ef.tar.xz nixpkgs-c1ef185bdb88b148428fba00260afd23f8fc11ef.tar.zst nixpkgs-c1ef185bdb88b148428fba00260afd23f8fc11ef.zip |
isabelle: Use naproche from nixpkgs
-rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index aaac288b615..1c613419cc8 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchurl, coreutils, nettools, java, scala, polyml, z3, veriT, vampire, eprover-ho, rlwrap, perl, makeDesktopItem }: +{ lib, stdenv, fetchurl, coreutils, nettools, java, scala, polyml, z3, veriT, vampire, eprover-ho, naproche, rlwrap, perl, makeDesktopItem }: # nettools needed for hostname stdenv.mkDerivation rec { @@ -66,7 +66,8 @@ stdenv.mkDerivation rec { ISABELLE_JDK_HOME=${java} EOF - sed -i -e 's/naproche_server : bool = true/naproche_server : bool = false/' contrib/naproche-*/etc/options + rm contrib/naproche-*/x86*/Naproche-SAD + ln -s ${naproche}/bin/Naproche-SAD contrib/naproche-*/x86*/ echo ISABELLE_LINE_EDITOR=${rlwrap}/bin/rlwrap >>etc/settings |