Merge remote-tracking branch 'upstream/staging' into master

This commit is contained in:
Tuomas Tynkkynen 2016-09-11 11:41:18 +03:00
commit 2b0eace6cf
3 changed files with 24 additions and 6 deletions

View File

@ -16,9 +16,7 @@ stdenv.mkDerivation rec {
./rtcwake-search-PATH-for-shutdown.patch ./rtcwake-search-PATH-for-shutdown.patch
]; ];
outputs = [ "bin" "out" "man" ]; # TODO: $bin is kept the first for now outputs = [ "bin" "dev" "out" "man" ];
# due to lots of ${utillinux}/bin occurences and headers being rather small
outputDev = "bin";
#FIXME: make it also work on non-nixos? #FIXME: make it also work on non-nixos?
postPatch = '' postPatch = ''

View File

@ -8,8 +8,7 @@ stdenv.mkDerivation rec {
sha256 = "1m72lk90b5i3h9qnmss6aygrzyn8x2avy3hyaq2fb0jglkrkz6ar"; sha256 = "1m72lk90b5i3h9qnmss6aygrzyn8x2avy3hyaq2fb0jglkrkz6ar";
}; };
outputs = [ "bin" "out" "man" ]; outputs = [ "bin" "dev" "out" "man" ];
outputDev = "bin"; # just for *.pc
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ pkgconfig ];
buildInputs = [ libuuid ]; buildInputs = [ libuuid ];

View File

@ -107,7 +107,28 @@ core = stdenv.mkDerivation rec {
mv ./texmf.cnf "$out/share/texmf-dist/web2c/" mv ./texmf.cnf "$out/share/texmf-dist/web2c/"
cp ../texk/tests/TeXLive/*.pm "$out/share/texmf-dist/scripts/texlive/TeXLive/" cp ../texk/tests/TeXLive/*.pm "$out/share/texmf-dist/scripts/texlive/TeXLive/"
cp ../texk/texlive/linked_scripts/scripts.lst "$out/share/texmf-dist/scripts/texlive/" cp ../texk/texlive/linked_scripts/scripts.lst "$out/share/texmf-dist/scripts/texlive/"
'' + /* doc location identical with individual TeX pkgs */ '' '' +
(let extraScripts =
''
tex4ht/ht.sh
tex4ht/htcontext.sh
tex4ht/htcopy.pl
tex4ht/htlatex.sh
tex4ht/htmex.sh
tex4ht/htmove.pl
tex4ht/httex.sh
tex4ht/httexi.sh
tex4ht/htxelatex.sh
tex4ht/htxetex.sh
tex4ht/mk4ht.pl
tex4ht/xhlatex.sh
'';
in
''
echo -e 'texmf_scripts="$texmf_scripts\n${extraScripts}"' \
>> "$out/share/texmf-dist/scripts/texlive/scripts.lst"
'')
+ /* doc location identical with individual TeX pkgs */ ''
mkdir -p "$doc/doc" mkdir -p "$doc/doc"
mv "$doc"/share/{man,info} "$doc"/doc mv "$doc"/share/{man,info} "$doc"/doc
rmdir "$doc"/share rmdir "$doc"/share