Package Details: solidity 0.8.26-1

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.065617
First Submitted: 2023-04-01 17:35 (UTC)
Last Updated: 2024-08-03 11:01 (UTC)

Dependencies (6)

Sources (1)

Latest Comments

1 2 Next › Last »

Spixmaster commented on 2024-07-03 14:11 (UTC) (edited on 2024-07-03 15:44 (UTC) by Spixmaster)

Take a look at a similar issue. Try installing without z3 and cvc4. However, for me the bar was stuck somewhat over 80% so I do not know whether we experienced the same issue. The would assume that the order of test execution is the same which normally it should be from my understanding.

If that still does not solve the issue, you can skip the tests with paru --mflags --nocheck -S <package-name>.

simona commented on 2024-07-03 14:03 (UTC)

block at
Running 8818 test cases...
0% 10 20 30 40 50 60 70 80 90 100%
|----|----|----|----|----|----|----|----|----|----|
******

Spixmaster commented on 2024-05-27 08:10 (UTC) (edited on 2024-05-27 14:34 (UTC) by Spixmaster)

I got the tests working. This package now works as intended.

Spixmaster commented on 2024-05-26 09:53 (UTC)

I finally got it right. Thanks for the hint, @vnegens.

vnegens commented on 2024-05-25 19:00 (UTC)

I encounter the same linkage issue with ld.gold. There's an opened discussion here: https://gitlab.archlinux.org/archlinux/packaging/packages/pacman/-/issues/21

Maybe you can change the LDFLAGS in the package to use ld instead of ld.gold ?

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 with z3 or solidity?