parent
76c37ac82a
commit
08844edaf1
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'texlive'
|
# Template file for 'texlive'
|
||||||
pkgname=texlive
|
pkgname=texlive
|
||||||
version=20200406
|
version=20200406
|
||||||
revision=3
|
revision=4
|
||||||
wrksrc="texlive-${version}-source"
|
wrksrc="texlive-${version}-source"
|
||||||
build_wrksrc="build"
|
build_wrksrc="build"
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
|
@ -135,8 +135,8 @@ export DASM_ARCH
|
||||||
|
|
||||||
post_extract() {
|
post_extract() {
|
||||||
# pdftex poppler compatibility
|
# pdftex poppler compatibility
|
||||||
cp -pv texk/web2c/pdftexdir/pdftoepdf{-poppler0.76.0,}.cc
|
cp -pv texk/web2c/pdftexdir/pdftoepdf{-poppler0.86.0,}.cc
|
||||||
cp -pv texk/web2c/pdftexdir/pdftosrc{-poppler0.76.0,}.cc
|
cp -pv texk/web2c/pdftexdir/pdftosrc{-poppler0.83.0,}.cc
|
||||||
|
|
||||||
mkdir -p "${build_wrksrc}"
|
mkdir -p "${build_wrksrc}"
|
||||||
cp -rf texk/web2c "${build_wrksrc}/web2c-host"
|
cp -rf texk/web2c "${build_wrksrc}/web2c-host"
|
||||||
|
|
Loading…
Reference in New Issue