diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-03-03 18:37:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-03 09:37:46 -0800 |
| commit | 10e9e142b75c6ca8bc61f688260c002201cc1b22 (patch) | |
| tree | 9c0a0851a94aee96662d7b2c6fcef257db8d4798 /.github/workflows | |
| parent | 6d54df1ba4e8ff1d29782ffe2ac358ac10b25bb5 (diff) | |
| download | spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.tar.gz spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.tar.bz2 spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.tar.xz spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.zip | |
Bootstrap clingo from sources (#21446)
* Allow the bootstrapping of clingo from sources
Allow python builds with system python as external
for MacOS
* Ensure consistent configuration when bootstrapping clingo
This commit uses context managers to ensure we can
bootstrap clingo using a consistent configuration
regardless of the use case being managed.
* Github actions: test clingo with bootstrapping from sources
* Add command to inspect and clean the bootstrap store
Prevent users to set the install tree root to the bootstrap store
* clingo: documented how to bootstrap from sources
Co-authored-by: Gregory Becker <becker33@llnl.gov>
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/linux_unit_tests.yaml | 32 |
1 files changed, 9 insertions, 23 deletions
diff --git a/.github/workflows/linux_unit_tests.yaml b/.github/workflows/linux_unit_tests.yaml index 9e4332a19f..a5fdd7b345 100644 --- a/.github/workflows/linux_unit_tests.yaml +++ b/.github/workflows/linux_unit_tests.yaml @@ -15,6 +15,7 @@ jobs: strategy: matrix: python-version: [2.7, 3.5, 3.6, 3.7, 3.8, 3.9] + concretizer: ['original', 'clingo'] steps: - uses: actions/checkout@v2 @@ -50,16 +51,23 @@ jobs: mkdir -p ${KCOV_ROOT}/build cd ${KCOV_ROOT}/build && cmake -Wno-dev ${KCOV_ROOT}/kcov-${KCOV_VERSION} && cd - make -C ${KCOV_ROOT}/build && sudo make -C ${KCOV_ROOT}/build install + - name: Bootstrap clingo from sources + if: ${{ matrix.concretizer == 'clingo' }} + run: | + . share/spack/setup-env.sh + spack external find --not-buildable cmake bison + spack -v solve zlib - name: Run unit tests env: COVERAGE: true + SPACK_TEST_SOLVER: ${{ matrix.concretizer }} run: | share/spack/qa/run-unit-tests coverage combine coverage xml - uses: codecov/codecov-action@v1 with: - flags: unittests,linux + flags: unittests,linux,${{ matrix.concretizer }} shell: runs-on: ubuntu-latest steps: @@ -143,28 +151,6 @@ jobs: run: | source share/spack/setup-env.sh spack unit-test -k 'not svn and not hg' -x --verbose - - clingo: - # Test for the clingo based solver - runs-on: ubuntu-latest - container: spack/github-actions:clingo - steps: - - name: Run unit tests - run: | - whoami && echo PWD=$PWD && echo HOME=$HOME && echo SPACK_TEST_SOLVER=$SPACK_TEST_SOLVER - which clingo && clingo --version - git clone https://github.com/spack/spack.git && cd spack - git fetch origin ${{ github.ref }}:test-branch - git checkout test-branch - . share/spack/setup-env.sh - spack compiler find - spack solve mpileaks%gcc - coverage run $(which spack) unit-test -v - coverage combine - coverage xml - - uses: codecov/codecov-action@v1 - with: - flags: unittests,linux,clingo clingo-cffi: # Test for the clingo based solver (using clingo-cffi) runs-on: ubuntu-latest |