Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOT | Justin Lecher | 2015-03-29 | 3 | -8/+10 |
| | | | | Package-Manager: portage-2.2.18 | ||||
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | Justin Lecher | 2014-03-06 | 2 | -0/+4 |
| | | | | Package-Manager: portage-2.2.8-r1 | ||||
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | Justin Lecher | 2014-03-06 | 2 | -3/+4 |
| | | | | Package-Manager: portage-2.2.8-r1 | ||||
* | Sanitize ebuild header | Justin Lecher | 2014-01-30 | 2 | -2/+2 |
| | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
* | sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use ↵ | Justin Lecher | 2013-12-02 | 4 | -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-LA | Justin Lecher | 2013-12-02 | 1 | -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 error | Yichao Zhou | 2013-11-23 | 2 | -6/+5 |
| | |||||
* | sci-mathematics/z3-4.3.1: add z3-9999 using git-3 | Yichao Zhou | 2013-11-23 | 1 | -0/+42 |
| | |||||
* | sci-mathematics/z3-4.3.1: using jlec's snapshot | Yichao Zhou | 2013-11-20 | 2 | -8/+4 |
| | |||||
* | sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency | Yichao Zhou | 2013-11-20 | 1 | -9/+9 |
| | |||||
* | sci-mathematics/z3-4.3.1: new ebuild | Yichao Zhou | 2013-11-19 | 1 | -0/+44 |