Unverified Commit 34f0221b authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #221175 from wegank/tamarin-prover-glibc 

tamarin-prover: only use glibcLocales on linux
parents 7ca65eee 6bade5f7

pkgs/applications/science/logic/tamarin-prover/default.nix

+3 −1
Original line number Diff line number Diff line 
{ haskellPackages, mkDerivation, fetchFromGitHub, lib

{ haskellPackages, mkDerivation, fetchFromGitHub, lib, stdenv

# the following are non-haskell dependencies

, makeWrapper, which, maude, graphviz, glibcLocales

}:
@@ -76,7 +76,9 @@ mkDerivation (common "tamarin-prover" src // { 
  executableToolDepends = [ makeWrapper which maude graphviz ];

  postInstall = ''

    wrapProgram $out/bin/tamarin-prover \

  '' + lib.optionalString stdenv.isLinux ''

      --set LOCALE_ARCHIVE "${glibcLocales}/lib/locale/locale-archive" \

  '' + ''

      --prefix PATH : ${lib.makeBinPath [ which maude graphviz ]}

    # so that the package can be used as a vim plugin to install syntax coloration

    install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/syntax/spthy.vim