Search Criteria
Package Details: solidity 0.8.29-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/solidity.git (read-only, click to copy) |
---|---|
Package Base: | solidity |
Description: | Smart contract programming language. |
Upstream URL: | https://github.com/ethereum/solidity |
Licenses: | GPL-3.0-or-later |
Conflicts: | solidity-bin, solidity-git |
Submitter: | arojas |
Maintainer: | Spixmaster |
Last Packager: | Spixmaster |
Votes: | 6 |
Popularity: | 0.003950 |
First Submitted: | 2023-04-01 17:35 (UTC) |
Last Updated: | 2025-03-13 09:24 (UTC) |
Dependencies (10)
- gcc-libs (gcc-libs-gitAUR, gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-snapshotAUR)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-eacAUR)
- boost (boost-gitAUR) (make)
- cmake (cmake-gitAUR, cmake3AUR) (make)
- fmt (fmt-gitAUR) (make)
- nlohmann-json (nlohmann-json-gitAUR) (make)
- range-v3 (make)
- evmoneAUR (check)
- cvc5AUR (cvc5AUR, cvc5-binAUR, cvc5-bestperformanceAUR) (optional) – SMT checker
- z3 (z3-gitAUR) (optional) – SMT checker
Latest Comments
« First ‹ Previous 1 2
Spixmaster commented on 2024-05-24 21:21 (UTC)
@getong You are correct. The linkage error is known. The suggestion by @q9f does not work for me. I have already opened an issue.
getong commented on 2024-05-24 17:46 (UTC)
[ 98%] Linking CXX executable yul-phaser /usr/bin/ld.gold: pack-relative-relocs: unknown -z option /usr/bin/ld.gold: use the --help option for usage information
Spixmaster commented on 2024-05-23 08:44 (UTC)
I tested, not even v0.8.25 does compile any more.
Spixmaster commented on 2024-05-22 19:57 (UTC)
It still does not work. I even applied
-D USER_Z3=OFF
. I opened an issue here.Spixmaster commented on 2024-05-21 14:09 (UTC)
@q9f Which version of
z3
is needed?4.13.0-2
does not seem to work. Is this an issue withz3
orsolidity
?phnx47 commented on 2024-05-21 13:12 (UTC)
@Spixmaster I don't add
BUILD_TESTING
variable.Spixmaster commented on 2024-05-21 11:55 (UTC)
CMake reports a warning.
q9f commented on 2024-04-16 13:22 (UTC)
Currently, it only works with the fixed
z3
version which you either have to downgrade to or disable it in thePKGBUILD
.Replace
-DSTRICT_Z3_VERSION=OFF
with-DUSE_Z3=OFF
and it should compile and link at least. No need to downgradez3
unless you need it.I'll discuss this upstream.
kso commented on 2024-04-07 22:03 (UTC)
Hi phnx47, I got this error:
« First ‹ Previous 1 2