Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 602600
Collapse All | Expand All

(-)a/sci-mathematics/z3/z3-4.3.1.ebuild (-1 / +1 lines)
Lines 53-59 src_configure() { Link Here
53 
	econf \
 53 
	econf \
54 
		--host="" \
 54 
		--host="" \
55 
		--with-python="${PYTHON}" \
 55 
		--with-python="${PYTHON}" \
56 
		$(use_with gmp) \
 56 
		$(usex gmp "--with-gmp" "") \
57 
		SLIBFLAGS=" -Wl,-soname,lib${PN}.so.0.1 "
 57 
		SLIBFLAGS=" -Wl,-soname,lib${PN}.so.0.1 "
58 
	${EPYTHON} scripts/mk_make.py || die
 58 
	${EPYTHON} scripts/mk_make.py || die
59 
}
 59 
}

Return to bug 602600