aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/z3: Adopt to recent changes in git-r3.eclassJustin Lecher2014-03-062-0/+4
| | | | Package-Manager: portage-2.2.8-r1
* sci-mathematics/z3: Adopt to recent changes in git-r3.eclassJustin Lecher2014-03-062-3/+4
| | | | Package-Manager: portage-2.2.8-r1
* Sanitize ebuild headerJustin Lecher2014-01-302-2/+2
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use ↵Justin Lecher2013-12-024-18/+103
| | | | | | 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 Package-Manager: portage-2.2.7
* Add MSR-LAJustin Lecher2013-12-021-2/+8
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some errorYichao Zhou2013-11-232-6/+5
|
* sci-mathematics/z3-4.3.1: add z3-9999 using git-3Yichao Zhou2013-11-231-0/+42
|
* sci-mathematics/z3-4.3.1: using jlec's snapshotYichao Zhou2013-11-202-8/+4
|
* sci-mathematics/z3-4.3.1: using python-r1, remove useless dependencyYichao Zhou2013-11-201-9/+9
|
* sci-mathematics/z3-4.3.1: new ebuildYichao Zhou2013-11-191-0/+44