Merge pull request #55214 from dtzWill/update/ipe-7.2.10

ipe: 7.2.9 -> 7.2.10
This commit is contained in:
Will Dietz 2019-02-12 10:08:01 -06:00 committed by GitHub
commit 91c7157919
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,26 +3,16 @@
}:
stdenv.mkDerivation rec {
name = "ipe-7.2.9";
name = "ipe-7.2.10";
src = fetchurl {
url = "https://dl.bintray.com/otfried/generic/ipe/7.2/${name}-src.tar.gz";
sha256 = "1i0h0q32xvbb0d3y2ff76jxnaw05hjf2z5gzww886z8arxwar1xn";
sha256 = "0rm31kvyg30452bz12yi49bkhdmi4bjdx6zann5cdlbi0pvmx7xh";
};
# changes taken from Gentoo portage
preConfigure = ''
cd src
sed -i \
-e 's/fpic/fPIC/' \
-e 's/moc-qt4/moc/' \
config.mak || die
sed -i -e 's/install -s/install/' common.mak || die
'';
sourceRoot = "${name}/src";
NIX_CFLAGS_COMPILE = [ "-std=c++11" ]; # build with Qt 5.7
IPEPREFIX="$$out";
IPEPREFIX="${placeholder "out"}";
URWFONTDIR="${texlive}/texmf-dist/fonts/type1/urw/";
LUA_PACKAGE = "lua";
@ -38,6 +28,8 @@ stdenv.mkDerivation rec {
done
'';
enableParallelBuilding = true;
#TODO: make .desktop entry
meta = {