| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2022-10-21 | user/z3: Update to 4.8.17, switch to CMake | A. Wilcox | 1 | -7/+15 | |
| Upstream recommends CMake for packaging. This also resolves the issue where the SONAME links were not being generated, causing dep errors. Fixes: #643 | |||||
| 2020-07-07 | user/z3: Update to 4.8.8 | A. Wilcox | 1 | -7/+4 | |
| 2020-06-16 | user/z3: fix build on 32-bit arches | Max Rees | 1 | -3/+10 | |
| ../src/util/mpz.cpp:57:30: error: definition of ‘uint32_t __builtin_ctz(uint32_t)’ ambiguates built-in declaration ‘int __builtin_ctz(unsigned int)’ #define _trailing_zeros32(X) __builtin_ctz(X) ^~~~~~~~~~~~~ ../src/util/mpz.cpp:76:17: note: in expansion of macro ‘_trailing_zeros32’ inline uint32_t _trailing_zeros32(uint32_t x) { ^~~~~~~~~~~~~~~~~ make: *** [Makefile:216: util/mpz.o] Error 1 make: *** Waiting for unfinished jobs.... make: Leaving directory '/af/build/user/z3/src/z3-z3-4.8.7/build' >>> ERROR: z3: build failed Upstream issues: https://github.com/Z3Prover/z3/issues/2727 https://github.com/Z3Prover/z3/issues/2776 | |||||
| 2020-02-26 | user/z3: Bump to 4.8.7 | A. Wilcox | 1 | -2/+2 | |
| 2019-10-03 | user/z3: bump to 4.8.6 | A. Wilcox | 1 | -4/+4 | |
| 2019-06-20 | user/z3: bump to 4.8.5 | A. Wilcox | 1 | -4/+4 | |
| 2019-04-25 | user/z3: new package | A. Wilcox | 1 | -0/+40 | |
 |
index : packages | |
| The official Adélie Linux package repository tree. | root |
| summaryrefslogtreecommitdiff |