| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
| |
Closes: https://bugs.gentoo.org/831220
Signed-off-by: Marek Szuba <marecki@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
"make doc" uses sphinx to build both latex and html documentation. Both
sphinx rules in the makefile include "-d doc/.doctrees", ie. the same
path for "the cached environment and doctree files". In a parallel make
build, the rules are called simulateously, which means the cached files
could be read by one process while they are still being written by the
other.
Closes: https://bugs.gentoo.org/831168
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/23802
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/828997
Closes: https://github.com/gentoo/gentoo/pull/23774
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
|
|
| |
Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it>
Closes: https://bugs.gentoo.org/830996
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Closes: https://github.com/gentoo/gentoo/pull/23738
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
| |
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|
|
|
|
| |
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
| |
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
| |
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
| |
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
|
|
|
| |
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
|
|
|
|
|
|
|
|
|
|
|
| |
KDE-bug: https://bugs.kde.org/show_bug.cgi?id=389914
KDE-bug: https://bugs.kde.org/show_bug.cgi?id=430680
KDE-bug: https://bugs.kde.org/show_bug.cgi?id=438993
Reported-by: Milos Popovic <gpopac@gmail.com>
Closes: https://bugs.gentoo.org/829998
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
|
|
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/820899
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/22866
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
|
|
|
|
| |
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alex Fan <alex.fan.q@gmail.com>
Signed-off-by: Yixun Lan <dlan@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alex Fan <alex.fan.q@gmail.com>
Signed-off-by: Yixun Lan <dlan@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alex Fan <alex.fan.q@gmail.com>
Signed-off-by: Yixun Lan <dlan@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alex Fan <alex.fan.q@gmail.com>
Signed-off-by: Yixun Lan <dlan@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alex Fan <alex.fan.q@gmail.com>
Signed-off-by: Yixun Lan <dlan@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alex Fan <alex.fan.q@gmail.com>
Signed-off-by: Yixun Lan <dlan@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alex Fan <alex.fan.q@gmail.com>
Signed-off-by: Yixun Lan <dlan@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/830175
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/830140
Closes: https://bugs.gentoo.org/830156
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
| |
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- add missing test submodules
- add optional cryptominisat dependency (USE=dependency)
- add the Gentoo Mathematics Project to co-maintainers
- change python to optional dependency (USE=python)
- install PDF documentation
- patch CMakeLists.txt to fix CFLAGS
- patch stp.py to fix python module
Closes: https://bugs.gentoo.org/759457
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
| |
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
|
|
| |
I completely forgot this was part of cpu_flags_x86. Now we disable it
when the CPU does not support it.
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
|
| |
Closes: https://github.com/gentoo/gentoo/pull/23281
Closes: https://bugs.gentoo.org/829029
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com>
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
|
|
|
|
| |
This is a new dependency of SageMath. The SageMath ./configure script
will detect primecount on the system and use it (rather than
rebuilding a bundled copy) if installed. Based on the sage-on-gentoo
ebuild contributed by François Bissey.
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
|
|
|
|
|
| |
This package will soon be a dependency of SageMath, transitively via
the forthcoming sci-mathematics/primecount that uses it. Based on the
sage-on-gentoo ebuild by François Bissey.
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
|
|
|
| |
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|