Search Criteria
Package Details: boolector-git 3.2.2.r18.g1a89c229-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/boolector-git.git (read-only, click to copy) |
---|---|
Package Base: | boolector-git |
Description: | A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
Upstream URL: | https://github.com/Boolector/boolector |
Keywords: | boolector smt |
Licenses: | MIT |
Conflicts: | boolector |
Provides: | boolector |
Submitter: | deian |
Maintainer: | xiretza |
Last Packager: | xiretza |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2018-06-15 19:03 (UTC) |
Last Updated: | 2022-05-03 13:12 (UTC) |
Dependencies (6)
Required by (6)
- binsec (requires boolector) (optional)
- boolector-java (requires boolector)
- radius2-git (requires boolector)
- sby-nightly (requires boolector) (optional)
- symbiyosys-git (requires boolector) (optional)
- symbiyosys-nightly (requires boolector) (optional)
Latest Comments
xiretza commented on 2021-07-15 10:15 (UTC) (edited on 2021-07-15 13:09 (UTC) by xiretza)
A few things:
arch=('any')
.makedepends=('git' 'cmake')
.source=
is a no-no, especially when it's totally unnecessary - there's alingeling
package that can just be added as a dependency instead of using the bundled build script.CFLAGS=""
is just not ok. If there's an incompatibility with some default flag, either patch it upstream or, as a last resort, remove that specific flag fromCFLAGS
. As it stands right now, the build is completely fine without messing with any variables./usr/share/licenses/$pkgname/
by the PKGBUILD.check()
function.pkgver()
and subsequently used forprovides=
.Here's a patch that addresses all of those issues:
xiretza commented on 2020-06-10 20:25 (UTC)
This should be
provides=(boolector); conflicts=(boolector)
.deian commented on 2019-06-13 22:30 (UTC)
Should be fixed now. Just added btor2tools as a dependency.
maximaximal commented on 2019-03-08 15:54 (UTC)
This package is currently not building, CMake doesn't find Btor2Tools. Could the installation scripts in the contrib/ of the boolector repository help solving this issue?
Error: