Skip to content

Commit

Permalink
Add @EricWF's clang contract branch (#67)
Browse files Browse the repository at this point in the history
  • Loading branch information
EricWF authored Jul 10, 2024
1 parent 9627f5a commit 21bad42
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions build/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -145,6 +145,12 @@ dascandy-contracts-trunk)
VERSION=dascandy-contracts-trunk-$(date +%Y%m%d)
LLVM_ENABLE_RUNTIMES+=";libunwind"
;;
ericwf-contracts-trunk)
BRANCH=contracts-nightly
URL=https://github.com/efcs/llvm-project
VERSION=ericwf-contracts-trunk-$(date +%Y%m%d)
LLVM_ENABLE_RUNTIMES+="libcxx;libcxxabi;libunwind"
;;
p1974-trunk)
BRANCH=godbolt/propconst
URL=https://github.com/je4d/llvm-project
Expand Down

0 comments on commit 21bad42

Please sign in to comment.