From d33d4b02a915b1fea4d33b0c751ccc4b652687d7 Mon Sep 17 00:00:00 2001
From: Daniel Kirchner <daniel@ekpyron.org>
Date: Thu, 8 Nov 2018 14:28:25 +0100
Subject: Add archlinux run on circleci.

---
 .circleci/config.yml | 49 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)

(limited to '.circleci/config.yml')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2967e1fb..890a102a 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
@@ -146,6 +167,7 @@ jobs:
       TERM: xterm
       CC: /usr/bin/clang-7
       CXX: /usr/bin/clang++-7
+      IPC_ENABLED: false
     steps:
       - checkout
       - run:
@@ -260,6 +282,28 @@ 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 python2 wget perl z3 cvc4 leveldb git openssh tar
+            ln -sf /usr/bin/core_perl/shasum /usr/bin
+      - checkout
+      - attach_workspace:
+          at: build
+      - run: mkdir -p test_results
+      - run: *run_tests
+      - store_test_results:
+          path: test_results/
+      - store_artifacts:
+          path: test_results/
+          destination: test_results/
+
   test_x86_mac:
     macos:
       xcode: "10.0.0"
@@ -330,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
-- 
cgit 


From 6f136479231337d023d32ac8ad8c57fbedf4fb29 Mon Sep 17 00:00:00 2001
From: Daniel Kirchner <daniel@ekpyron.org>
Date: Thu, 8 Nov 2018 19:38:13 +0100
Subject: Only run soltest with --no-ipc.

---
 .circleci/config.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to '.circleci/config.yml')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 890a102a..4bb5e651 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -167,7 +167,6 @@ jobs:
       TERM: xterm
       CC: /usr/bin/clang-7
       CXX: /usr/bin/clang++-7
-      IPC_ENABLED: false
     steps:
       - checkout
       - run:
@@ -291,13 +290,12 @@ jobs:
       - run:
           name: Install dependencies
           command: |
-            pacman --noconfirm -Syu --noprogressbar --needed boost python2 wget perl z3 cvc4 leveldb git openssh tar
-            ln -sf /usr/bin/core_perl/shasum /usr/bin
+            pacman --noconfirm -Syu --noprogressbar --needed boost z3 cvc4 git openssh tar
       - checkout
       - attach_workspace:
           at: build
       - run: mkdir -p test_results
-      - run: *run_tests
+      - run: build/test/soltest --logger=JUNIT,test_suite,test_results/result.xml -- --no-ipc --testpath test
       - store_test_results:
           path: test_results/
       - store_artifacts:
-- 
cgit