diff options
author | Justin Lecher <jlec@gentoo.org> | 2013-12-02 17:16:56 +0100 |
---|---|---|
committer | Justin Lecher <jlec@gentoo.org> | 2013-12-02 17:16:56 +0100 |
commit | d5bc424a65eca8d0a8097971559084c66ff42a14 (patch) | |
tree | 1e9ef895b08aa7c7da0692a6e58a98283ba44e17 /sci-misc | |
parent | Add MSR-LA (diff) | |
download | sci-d5bc424a65eca8d0a8097971559084c66ff42a14.tar.gz sci-d5bc424a65eca8d0a8097971559084c66ff42a14.tar.bz2 sci-d5bc424a65eca8d0a8097971559084c66ff42a14.zip |
sci-mathematics/z3: 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
Package-Manager: portage-2.2.7
Diffstat (limited to 'sci-misc')
0 files changed, 0 insertions, 0 deletions