blob: 9bc3fb36db556f33652ea978d20eda031235a84f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# ChangeLog for sci-mathematics/z3
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
# $Id$
29 Mar 2015; Justin Lecher <jlec@gentoo.org> z3-4.3.1.ebuild, z3-9999.ebuild:
sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOT
06 Mar 2014; Justin Lecher <jlec@gentoo.org> z3-9999.ebuild:
Adopt to recent changes in git-r3.eclass
06 Mar 2014; Justin Lecher <jlec@gentoo.org> z3-9999.ebuild:
Adopt to recent changes in git-r3.eclass
02 Dec 2013; Justin Lecher <jlec@gentoo.org> z3-4.3.1.ebuild, z3-9999.ebuild,
+metadata.xml:
Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use EPYTHON instead of a
direct python call; check for openmp compatibility of the c++ compiler; add
USE=gmp; drop unnecessary eclass; add missing metadata.xml
|