Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: solidity 0.8.25-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/solidity.git (read-only, click to copy)
Package Base:	solidity
Description:	Contract-Oriented Programming Language
Upstream URL:	https://github.com/ethereum/solidity
Keywords:	blockchain ethereum
Licenses:	GPL3
Submitter:	arojas
Maintainer:	phnx47
Last Packager:	phnx47
Votes:	5
Popularity:	0.85
First Submitted:	2023-04-01 17:35 (UTC)
Last Updated:	2024-03-14 16:08 (UTC)

Dependencies (5)

gcc-libs (gccrs-libs-git^AUR, gcc11-libs^AUR, gcc-libs-git^AUR)
boost (boost-git^AUR) (make)
cmake (cmake-git^AUR) (make)
cvc4 (cvc4-git^AUR) (optional) – SMT checker
z3 (z3-java^AUR, z3-git^AUR) (optional) – SMT checker

Required by (3)

Sources (1)

solidity_0.8.25.tar.gz

Latest Comments

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 the PKGBUILD.

Replace -DSTRICT_Z3_VERSION=OFF with -DUSE_Z3=OFF and it should compile and link at least. No need to downgrade z3 unless you need it.

I'll discuss this upstream.

kso commented on 2024-04-07 22:03 (UTC)

Hi phnx47, I got this error:

[ 98%] Built target phaser
[ 98%] Building CXX object tools/CMakeFiles/yul-phaser.dir/yulPhaser/main.cpp.o
[ 99%] 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
collect2: error: ld returned 1 exit status
make[2]: *** [tools/CMakeFiles/yul-phaser.dir/build.make:109: tools/yul-phaser] Error 1
make[1]: *** [CMakeFiles/Makefile2:641: tools/CMakeFiles/yul-phaser.dir/all] Error 2
make: *** [Makefile:136: all] Error 2
==> ERROR: A failure occurred in build().
    Aborting...
 -> error making: solidity-exit status 4
 -> Failed to install the following packages. Manual intervention is required:
solidity - exit status 4