pyrox.dev
lol
tamarin-prover: set LOCALE_ARCHIVE in wrapper
Signed-off-by: Austin Seipp <aseipp@pobox.com>
+2
-1
+2
-1
pkgs/applications/science/logic/tamarin-prover/default.nix
+2
-1
pkgs/applications/science/logic/tamarin-prover/default.nix
···
1
1
{ haskellPackages, mkDerivation, fetchFromGitHub, lib
2
2
# the following are non-haskell dependencies
3
-
, makeWrapper, which, maude, graphviz
3
+
, makeWrapper, which, maude, graphviz, glibcLocales
4
4
}:
5
5
6
6
let
···
76
76
executableToolDepends = [ makeWrapper which maude graphviz ];
77
77
postInstall = ''
78
78
wrapProgram $out/bin/tamarin-prover \
79
+
--set LOCALE_ARCHIVE "${glibcLocales}/lib/locale/locale-archive" \
79
80
--prefix PATH : ${lib.makeBinPath [ which maude graphviz ]}
80
81
# so that the package can be used as a vim plugin to install syntax coloration
81
82
install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/syntax/spthy.vim