b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

tamarin-prover: only use glibcLocales on linux

Browse source
This commit is contained in:
Weijia Wang 2023-03-14 15:55:12 +02:00
parent 3b3e37f996
commit 6bade5f7df
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/tamarin-prover/default.nix
View file

@ -1,4 +1,4 @@
{ 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