Atomer: Start using ShellCheck #68
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Author: Dominik Harmim <iharmim@fit.vut.cz> | |
| name: Atomer | |
| on: | |
| push: | |
| branches: [atomicity-sets] | |
| pull_request: | |
| branches: [atomicity-sets] | |
| jobs: | |
| build-and-test: | |
| name: Build Infer with Atomer and Run Tests | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [ubuntu-latest, macOS-latest] | |
| ocaml-compiler: ['ocaml-variants.4.14.0+options,ocaml-option-flambda'] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Checkout Infer with Atomer | |
| uses: actions/checkout@v3 | |
| with: | |
| ref: atomicity-sets | |
| fetch-depth: 0 | |
| - name: Install Required APT Packages for Ubuntu | |
| if: runner.os == 'Linux' | |
| run: | | |
| sudo apt install -y --no-install-recommends bubblewrap libmpfr-dev \ | |
| ninja-build | |
| - name: Install Required Brew Packages for macOS | |
| if: runner.os == 'macOS' | |
| run: brew install ninja automake lzlib coreutils shellcheck | |
| - name: Setup Java SDK | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'temurin' | |
| java-version: '11' | |
| - name: Setup Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.11' | |
| - name: Get OS Version | |
| id: os | |
| uses: sersoft-gmbh/os-version-action@v2 | |
| - name: Force the Use of Test Dependencies | |
| run: cp opam/infer-tests.opam.locked opam/infer.opam.locked | |
| - name: Use OCaml ${{ matrix.ocaml-compiler }} | |
| uses: ocaml/setup-ocaml@v2 | |
| with: | |
| ocaml-compiler: ${{ matrix.ocaml-compiler }} | |
| - name: Compute Hash of Clang Installation | |
| id: clang-hash | |
| run: | | |
| HASH="$(./facebook-clang-plugins/clang/setup.sh --clang-hash)" | |
| echo "value=$HASH" >> "$GITHUB_OUTPUT" | |
| - name: Attempt to Get Clang from the Cache | |
| id: clang-cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: facebook-clang-plugins/clang/install | |
| key: "clang-${{ matrix.os }}-${{ steps.os.outputs.version }}-\ | |
| ${{ steps.clang-hash.outputs.value }}" | |
| - name: Record that the Clang Cache Was Hit | |
| if: steps.clang-cache.outputs.cache-hit == 'true' | |
| run: ./facebook-clang-plugins/clang/setup.sh --only-record-install | |
| - name: Build Clang on Cache Misses | |
| if: steps.clang-cache.outputs.cache-hit != 'true' | |
| run: | | |
| ./facebook-clang-plugins/clang/src/prepare_clang_src.sh | |
| CC=clang CXX=clang++ ./facebook-clang-plugins/clang/setup.sh --ninja \ | |
| --sequential-link | |
| - name: Build Infer with Atomer on Linux | |
| if: runner.os == 'Linux' | |
| run: | | |
| ./build-infer.sh -y --user-opam-switch | |
| make | |
| - name: Build Infer with Atomer on macOS | |
| if: runner.os == 'macOS' | |
| run: | | |
| ./build-infer.sh -y --user-opam-switch -- --disable-python-analyzers | |
| make | |
| - name: Install Infer | |
| run: | | |
| sudo make install BUILD_MODE=opt | |
| sudo chown -R "$USER" . | |
| - name: Development Setup | |
| run: | | |
| eval $(opam env) && make devsetup | |
| opam install odoc -y | |
| - name: Test Infer | |
| run: make test NDKBUILD=no | |
| - name: Test Atomer | |
| run: ./infer/tests/atomicity/atomer/run.sh | |
| - name: ShellCheck | |
| run: shellcheck infer/tests/atomicity/atomer/run.sh | |
| - name: Documentation | |
| run: | | |
| make manuals | |
| NO_BROWSE_DOC=yes make doc | |
| - name: Code Formatting | |
| run: make fmt |