Permalink
Fetching contributors…
Cannot retrieve contributors at this time
50 lines (37 sloc) 1.69 KB
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
PortSystem 1.0
name git-latexdiff
version 1.3.0
categories devel tex
platforms darwin
supported_archs noarch
maintainers {gmail.com:jjstickel @jjstickel} openmaintainer
license BSD
description Tool for using latexdiff on latex documents in git \
repositories
long_description Tool to graphically visualize differences between \
different versions of LaTeX files between commits in a \
git repository. Technically, it is a wrapper around git \
and latexdiff.
homepage https://gitlab.com/${name}/${name}
master_sites https://gitlab.com/${name}/${name}/-/archive/v${version}
distname ${name}-v${version}
checksums rmd160 9e89a7973114af83daff586b76740f44912b71df \
sha256 54ba32ca75feef37a8d47b7b35d29a82819031a408bdb3eb25c1da73e68811e4 \
size 10340
depends_build-append \
port:asciidoc
depends_lib-append port:git \
port:texlive-bin-extra
patchfiles patch-makefile.diff
post-patch {
reinplace "s|(prefix)|${prefix}|g" ${worksrcpath}/Makefile
reinplace "s|(destroot)|${destroot}|g" ${worksrcpath}/Makefile
reinplace "s|(version)|${version}|g" ${worksrcpath}/Makefile
}
use_configure no
build {
# create dummy git repository so that git-latexdiff command in Makefile (to
# create man page) works correctly
system -W ${worksrcpath} "${prefix}/bin/git init ."
}