aboutsummaryrefslogtreecommitdiffstats
path: root/.circleci
diff options
context:
space:
mode:
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml47
1 files changed, 47 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index dd0011c1..f1b49649 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -139,6 +139,27 @@ jobs:
paths:
- "*"
+ build_x86_archlinux:
+ docker:
+ - image: archlinux/base
+ environment:
+ TERM: xterm
+ steps:
+ - run:
+ name: Install build dependencies
+ command: |
+ pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake z3 cvc4 git openssh tar
+ - checkout
+ - run: *setup_prerelease_commit_hash
+ - run: *run_build
+ - store_artifacts: *solc_artifact
+ - persist_to_workspace:
+ root: build
+ paths:
+ - solc/solc
+ - test/soltest
+ - test/tools/solfuzzer
+
build_x86_clang7:
docker:
- image: buildpack-deps:cosmic
@@ -262,6 +283,27 @@ jobs:
path: test_results/
destination: test_results/
+ test_x86_archlinux:
+ docker:
+ - image: archlinux/base
+ environment:
+ TERM: xterm
+ steps:
+ - run:
+ name: Install dependencies
+ command: |
+ pacman --noconfirm -Syu --noprogressbar --needed boost z3 cvc4 git openssh tar
+ - checkout
+ - attach_workspace:
+ at: build
+ - run: mkdir -p test_results
+ - run: build/test/soltest --logger=JUNIT,test_suite,test_results/result.xml -- --no-ipc --testpath test
+ - store_test_results:
+ path: test_results/
+ - store_artifacts:
+ path: test_results/
+ destination: test_results/
+
test_x86_mac:
macos:
xcode: "10.0.0"
@@ -332,3 +374,8 @@ workflows:
requires:
- build_x86_mac
- docs: *build_on_tags
+ - build_x86_archlinux: *build_on_tags
+ - test_x86_archlinux:
+ <<: *build_on_tags
+ requires:
+ - build_x86_archlinux