Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc4
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2024-01-191-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: fix build with bash 5.2Kai-Chun Ning2023-03-052-0/+45
| | | | | | | Closes: https://bugs.gentoo.org/883273 Signed-off-by: Kai-Chun Ning <kaichun.ning@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/29933 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: add support to python 3.11Alfredo Tupone2023-02-221-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: drop 1.7-r1Alfredo Tupone2023-01-294-107/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-142-4/+4
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cvc4: add github upstream metadataAlfredo Tupone2022-12-051-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: drop toml usageAlfredo Tupone2022-11-112-3/+52
| | | | | Closes: https://bugs.gentoo.org/878679 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: fix PythonHasVersionUsageSam James2022-10-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: fix deps checkAlfredo Tupone2022-02-171-3/+6
| | | | | | Closes: https://bugs.gentoo.org/833362 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: revbump for CMake config file fixSam James2022-02-091-0/+0
| | | | | | | | | This file is installed and embeds the libdir path which will affect consumers trying to build against/detect cvc4. See: 03321382501b45387f99917ba5acf9aa627805bd Closes: https://bugs.gentoo.org/820515 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: fix library pathAlfredo Tupone2022-02-081-0/+9
| | | | | | Closes: https://bugs.gentoo.org/820515 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: fix depsAlfredo Tupone2022-02-081-1/+5
| | | | | | Closes: https://bugs.gentoo.org/823023 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: remove unused CMake variablesAlfredo Tupone2022-02-081-3/+1
| | | | | | Closes: https://bugs.gentoo.org/829088 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2022-02-052-4/+4
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/cvc4: version bump to 1.8Alfredo Tupone2021-05-273-0/+98
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: python3_9, switch to cmake.eclassAndreas Sturmlechner2021-04-051-10/+9
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* */*: Remove obsolete values from PYTHON_COMPATMichał Górny2021-01-311-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cvc4: Remove oldJakov Smolic2021-01-202-25/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cvc4: add python depAlfredo Tupone2021-01-201-2/+5
| | | | | | Closes: https://bugs.gentoo.org/766099 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* */*: [QA] Use consistent function definition formattingDavid Seifert2020-02-221-2/+2
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cvc4: Add readline use flagTupone Alfredo2019-07-251-1/+3
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/12536 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-232-1/+8
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/12520 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/cvc4: Fix sandbox issueTupone Alfredo2019-07-181-0/+8
| | | | | | Closes: https://bugs.gentoo.org/689918 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/cvc4: Bump to 1.7Tupone Alfredo2019-07-143-0/+90
| | | | | | Closes: https://bugs.gentoo.org/688652 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/cvc4: Add cvc4 to the treeTupone Alfredo2018-07-183-0/+42
Package-Manager: Portage-2.3.40, Repoman-2.3.9