diff options
Diffstat (limited to 'pkgs/tools/typesetting/pygmentex/default.nix')
| -rw-r--r-- | pkgs/tools/typesetting/pygmentex/default.nix | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/pkgs/tools/typesetting/pygmentex/default.nix b/pkgs/tools/typesetting/pygmentex/default.nix index da029639c3d2..c19447cc0c4a 100644 --- a/pkgs/tools/typesetting/pygmentex/default.nix +++ b/pkgs/tools/typesetting/pygmentex/default.nix @@ -11,12 +11,11 @@ python2Packages.buildPythonApplication rec { pythonPath = [ python2Packages.pygments python2Packages.chardet ]; - buildPhase = ":"; - + dontBuild = true; + doCheck = false; - + installPhase = '' - mkdir -p $out/bin cp -a pygmentex.py $out/bin ''; |