update Dockerfile #664
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
| # This CI configuration is inspired by | |
| # | |
| # https://kodimensional.dev/github-actions | |
| # | |
| # It builds with a majority of the latest compiler releases from each major GHC | |
| # revision on Linux and builds macOS and Windows against the latest GHC. | |
| name: CI Matrix | |
| # Trigger the workflow on push or pull request, but only for the master branch | |
| on: | |
| pull_request: | |
| push: | |
| branches: [master] | |
| jobs: | |
| build: | |
| runs-on: ${{ matrix.os }} | |
| env: | |
| LANG: en_US.UTF-8 | |
| LANGUAGE: en_US:en | |
| LC_ALL: en_US.UTF-8 | |
| TZ: America/Los_Angeles | |
| CACHE_VERSION: 3 | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| arch: [ 'ppc' ] | |
| ghc: ['9.2.8'] | |
| cabal: ['3.6.0.0'] | |
| os: [self-hosted] | |
| name: GHC ${{ matrix.ghc }} on ${{ matrix.os }} pate-${{ matrix.arch }} | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| submodules: 'true' | |
| # This is necessary to support caching with cabal. If we build directly from | |
| # submodules, cabal will not use the cache for them due to mtime | |
| # differences. Instead, we convert our submodules into cabal's "source | |
| # repositories", which are actually built into the cabal store | |
| # instead. While that shouldn't make a difference, packages in the store are | |
| # only rebuilt based on hashes and not mtimes, which means that they are | |
| # actually reused from the cache. | |
| - name: Convert Submodules to Source Repos | |
| run: | | |
| git config --global url."https://github.com/".insteadOf "[email protected]:" | |
| git config --global url."https://".insteadOf "git://" | |
| curl -sL https://github.com/RyanGlScott/submods-to-source-repos/releases/download/0.0.0.20211210/submods-to-source-repos-0.0.0.20211210.xz > submods-to-source-repos.xz | |
| echo 'f339f4bbe43af96df7e8ce115377e56f4861bab5c8f66d3129492cbe7695bbac submods-to-source-repos.xz' | sha256sum -c - | |
| xz -d < submods-to-source-repos.xz > submods-to-source-repos | |
| rm -f submods-to-source-repos.xz | |
| chmod a+x submods-to-source-repos | |
| ./submods-to-source-repos cabal.project.dist > cabal.project | |
| echo "Constructed cabal.project:" | |
| cat cabal.project | |
| - name: Installing the freeze file | |
| run: mv cabal.GHC-${{ matrix.ghc }}.freeze cabal.project.freeze | |
| - uses: actions/cache@v2 | |
| name: Cache cabal store | |
| with: | |
| path: | | |
| ~/.cabal/store | |
| ~/.cabal/packages | |
| ~/.ghcup | |
| dist-newstyle | |
| # Our key is the freeze file and also the (constructed) | |
| # cabal.project. This captures the normal package dependencies *and* the | |
| # submodule hashes (without capturing anything undesirable) | |
| key: ${{ env.CACHE_VERSION }}-pate-${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles('cabal.project.freeze', 'cabal.project') }} | |
| restore-keys: | | |
| ${{ env.CACHE_VERSION }}-pate-${{ runner.os }}-${{ matrix.ghc }}- | |
| - uses: haskell/actions/setup@v1 | |
| id: setup-haskell-cabal | |
| name: Setup Haskell | |
| with: | |
| ghc-version: ${{ matrix.ghc }} | |
| cabal-version: ${{ matrix.cabal }} | |
| - name: System Dependencies | |
| run: | | |
| sudo apt update | |
| sudo apt install -y software-properties-common apt-transport-https ca-certificates wget | |
| sudo apt install -y curl zlibc zlib1g zlib1g-dev git zip \ | |
| libgmp3-dev build-essential libtinfo-dev autoconf automake gperf cmake locales \ | |
| python3-distutils python-setuptools antlr3 libantlr3c-dev libtool libtool-bin libboost-all-dev python3-pip libfftw3-dev | |
| sudo locale-gen en_US.UTF-8 | |
| sudo pip3 install toml | |
| - name: Build pate | |
| run: | | |
| cabal configure pkg:pate --write-ghc-environment-files=always --enable-tests -j --allow-newer=base | |
| cabal build pkg:pate --only-dependencies | |
| cabal build pkg:pate | |
| - name: Install Solvers | |
| run: .github/ci.sh install_system_deps | |
| env: | |
| Z3_VERSION: "4.8.8" | |
| YICES_VERSION: "2.6.2" | |
| CVC4_VERSION: "4.1.8" | |
| - name: Test | |
| if: runner.os == 'Linux' | |
| run: | | |
| cabal test pkg:pate | |
| - name: Docs | |
| run: cabal haddock pkg:pate |