TeXLive: update to 2012 snapshot from Debian

This commit is contained in:
Michael Raskin
2012-07-13 18:18:52 +04:00
parent a126bf9ae4
commit f2a77f5d9d
6 changed files with 90 additions and 29 deletions

View File

@@ -0,0 +1,24 @@
{ stdenv, fetchurl }:
stdenv.mkDerivation {
name = "tipa-1.3";
src = fetchurl {
url = "mirror://debian/pool/main/t/tipa/tipa_1.3.orig.tar.gz";
sha256 = "1q1sisxdcd2zd9b7mnagr2mxf9v3n1r4s5892zx5ly4r0niyya9m";
};
installPhase = ''
export PREFIX="$out/texmf"
mkdir -p "$PREFIX" "$out/share"
make install PREFIX="$PREFIX"
ln -s $out/texmf* $out/share/
'';
meta = {
description = "Phonetic font for TeX";
};
}