Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump nixpkgs and hevm dependencies #938

Open
wants to merge 34 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
7bb2456
Bump nixpkgs and hevm dependencies
arcz Apr 19, 2022
0e749f5
nix: bump nixpkgs to latest unstable
d-xo May 6, 2022
3f764d4
nix: add libcxx to extra-lib-dirs
d-xo May 10, 2022
f517e92
nix: hevm: depend on libc++
d-xo May 10, 2022
0078ccf
nix: hevm: rm libcxx
d-xo May 10, 2022
f84fb76
hevm: cabal: link against correct libc++ impl
d-xo May 10, 2022
fa44d7e
🖖 add solc 0.8.14 and keep dapptools up-to-date
pcaversaccio May 17, 2022
923d6fe
Merge pull request #939 from pcaversaccio/solc-0.8.14
d-xo May 18, 2022
826ae1b
Update README.md
moodmosaic May 31, 2022
9ff53fe
Merge pull request #942 from moodmosaic/patch-1
d-xo May 31, 2022
d37c0d8
🖖 add solc 0.8.15 and keep dapptools up-to-date
pcaversaccio Jun 16, 2022
d140ba0
Merge pull request #945 from pcaversaccio/solc-support-0.8.15
d-xo Jun 20, 2022
0660842
dapp: readme: fixup tutorial
d-xo Jun 20, 2022
75e0249
hevm: unit tests: handle concrete returndata for symbolic tests
d-xo Jun 20, 2022
94c2e03
hevm: tests: add testcase for symbolic test with concrete returndata
d-xo Jun 20, 2022
36dc24a
hevm: changelog: update
d-xo Jun 20, 2022
317f50a
nix: bump to 22.05
d-xo Jun 20, 2022
e4d1468
hevm: scrap static binaries
d-xo Jun 20, 2022
0c92831
dapp-tests: bump testnet timeout to 30 mins
d-xo Jun 20, 2022
6f33001
Merge pull request #946 from dapphub/symexec-tutorial
d-xo Jun 20, 2022
dfce866
dapp-tests: bump testnet sleep in ci
d-xo Jun 20, 2022
5a4cc7d
Add support for compilation via Yul IR
CodeSandwich Jun 3, 2022
da2da6e
dapp: nix-run: fixup nix invocation for nix 2.4 compat
d-xo Jun 21, 2022
e84ae75
Merge pull request #943 from CodeSandwich/via-ir
d-xo Jun 21, 2022
1822ffd
dapp: testnet-launch: fixup args to geth
d-xo Jun 21, 2022
51b3aa2
dapp-tests: drop sleep time to 90s in ci
d-xo Jun 21, 2022
589b350
nix: revert to nix 2.3
d-xo Jun 22, 2022
82be468
nix: geth: bump to latest
d-xo Jun 22, 2022
97f73ec
hevm: bump version
d-xo Jun 28, 2022
51f68a4
hevm: fix prove tests for latest ds-test
d-xo Jun 29, 2022
cb2e4ca
Merge pull request #948 from dapphub/fix-prove-tests-for-global-fail
d-xo Jun 29, 2022
24fd076
Bump nixpkgs and hevm dependencies
arcz Apr 19, 2022
3b52f0b
Merge remote-tracking branch 'upstream/bump-nixpkgs' into nixpkgs-22.05
arcz Jul 27, 2022
b673211
Fix nonce comparisons in dapp address
arcz Jul 27, 2022
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 0 additions & 31 deletions .github/scripts/build-macos-release.sh

This file was deleted.

14 changes: 0 additions & 14 deletions .github/scripts/host.sh

This file was deleted.

33 changes: 0 additions & 33 deletions .github/scripts/install-cvc4.sh

This file was deleted.

31 changes: 0 additions & 31 deletions .github/scripts/install-libff.sh

This file was deleted.

23 changes: 0 additions & 23 deletions .github/scripts/install-libsecp256k1.sh

This file was deleted.

51 changes: 0 additions & 51 deletions .github/scripts/install-solc.sh

This file was deleted.

35 changes: 0 additions & 35 deletions .github/scripts/install-z3.sh

This file was deleted.

2 changes: 0 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,12 +18,10 @@ jobs:
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v2
# v12
- uses: cachix/[email protected]
with:
# https://discourse.nixos.org/t/understanding-binutils-darwin-wrapper-nix-support-bad-substitution/11475/2
nix_path: nixpkgs=channel:nixos-unstable
# v8
- uses: cachix/cachix-action@v10
with:
name: dapp
Expand Down
102 changes: 1 addition & 101 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,117 +5,17 @@ on:
- '[a-z]+/[0-9]+.[0-9]+.[0-9]+'

jobs:
macosRelease:
runs-on: ${{ matrix.os }}
name: macosRelease
strategy:
matrix:
os:
- macos-latest
include:
- os: macos-latest
brew: automake

steps:
- name: Workaround for actions/cache#403
if: runner.os == 'macOS'
run: |
brew install gnu-tar
echo PATH="/usr/local/opt/gnu-tar/libexec/gnubin:$PATH" >> $GITHUB_ENV

- name: Get Packages
uses: mstksg/get-package@v1
with:
brew: ${{ matrix.brew }}
apt-get: ${{ matrix.apt-get }}

- name: Checkout
uses: actions/checkout@v2

- name: Cache Local
id: cache-local
uses: actions/cache@v1
with:
path: ~/.local/
key: ${{ runner.os }}-local-v3

- name: Cache Stack
id: cache-stack
uses: actions/cache@v1
with:
path: ~/.stack
key: ${{ runner.os }}-stack-v3

- name: Build Binaries
run: |
.github/scripts/install-solc.sh
.github/scripts/install-z3.sh
.github/scripts/install-cvc4.sh
env:
HOST_OS: ${{ runner.os }}

- name: Build Libraries
run: |
.github/scripts/install-libsecp256k1.sh
.github/scripts/install-libff.sh
env:
HOST_OS: ${{ runner.os }}

- name: Build Dependencies
run: |
cd src/hevm && stack build --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib --only-dependencies && cd ../..

- name: Build and install hevm
run: |
cd src/hevm && stack install --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib && cd ../..

- name: Test
run: |
export LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:$HOME/.local/lib"
export PATH="${PATH}:$HOME/.local/bin"

cp "$HOME/.local/bin/solc-0.8.6" "$HOME/.local/bin/solc"
cd src/hevm && stack test --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib && cd ../..

- name: Amend and compress binaries (macOS)
if: runner.os == 'macOS'
run: .github/scripts/build-macos-release.sh

- name: Upload artifact
uses: actions/upload-artifact@v1
with:
name: hevm-${{ runner.os }}
path: hevm.tar.gz

linuxRelease:
release:
name: Create Release
needs: macosRelease
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
# v12
- uses: cachix/[email protected]
# v8
- uses: cachix/cachix-action@v10
with:
name: dapp
signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
- run: nix-build -A hevmUnwrapped --out-link hevmLinux

- uses: actions/download-artifact@master
with:
name: hevm-macOS
path: hevm-macOS

- name: Rename macOS artifact
run: |
mv ./hevm-macOS/hevm.tar.gz ./hevm-macOS/hevm-macOS.tar.gz

- name: Release
uses: softprops/action-gh-release@v1
with:
files: |
./hevmLinux/bin/hevm
./hevm-macOS/hevm-macOS.tar.gz
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ curl https://dapp.tools/install | sh

This configures the dapphub binary cache and installs the `dapp`, `solc`, `seth` and `hevm` executables.

**NOTE:** Arm support in the GHC haskell compiiler is still fairly bleeding edge, until this
**NOTE:** Arm support in the GHC haskell compiler is still fairly bleeding edge, until this
situation stabilises, users of M1 macs must run dapptools (and the installer!) under rosetta 2 (i.e.
as an emulated x86 program). Make sure `/etc/nix/nix.conf` contains `system = x86_64-darwin`.

Expand Down
6 changes: 3 additions & 3 deletions default.nix
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{ system ? builtins.currentSystem , ... }:

let
rev = "aa576357673d609e618d87db43210e49d4bb1789";
rev = "d17a56d90ecbd1b8fc908d49598fb854ef188461";
nixpkgs = builtins.fetchTarball {
name = "nixpkgs-release-21.05";
name = "nixpkgs-2022.05-2022-06-20";
url = "https://github.com/nixos/nixpkgs/tarball/${rev}";
sha256 = "1868s3mp0lwg1jpxsgmgijzddr90bjkncf6k6zhdjqihf0i1n2np";
sha256 = "04a9ry0kk4qzy622mk3izh4azdp7plf1847mfp3zkn9gk0innswg";
};
in
# Now return the Nixpkgs configured to use our overlay.
Expand Down
Loading