-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Initial API and examples closing M1 and M2
- Loading branch information
Showing
73 changed files
with
4,537 additions
and
14 deletions.
There are no files selected for viewing
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| # https://github.com/nix-community/nix-direnv A fast, persistent use_nix/use_flake implementation for direnv: | ||
| if ! has nix_direnv_version || ! nix_direnv_version 2.3.0; then | ||
| source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.3.0/direnvrc" "sha256-Dmd+j63L84wuzgyjITIfSxSD57Tx7v51DMxVZOsiUD8=" | ||
| fi | ||
| # https://github.com/input-output-hk/devx Slightly opinionated shared GitHub Action for Cardano-Haskell projects | ||
| use flake "github:input-output-hk/devx?rev=2f4fa7f42aa1184ce1ed03f468f60648c466fa84#ghc96-iog" |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| :set -Wunused-binds -Wunused-imports -Worphans | ||
| :set -isrc -itest |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| --command="cabal repl test-suite:cem-sdk-test" -W -T ":main --failure-report=/tmp/hspec-report.txt -r" |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,189 @@ | ||
| # This GitHub workflow config has been generated by a script via | ||
| # | ||
| # haskell-ci 'github' 'cabal.project' | ||
| # | ||
| # To regenerate the script (for example after adjusting tested-with) run | ||
| # | ||
| # haskell-ci regenerate | ||
| # | ||
| # For more information, see https://github.com/haskell-CI/haskell-ci | ||
| # | ||
| # version: 0.19.20240402 | ||
| # | ||
| # REGENDATA ("0.19.20240402",["github","cabal.project"]) | ||
| # | ||
| name: Haskell-CI | ||
| on: | ||
| - push | ||
| - pull_request | ||
| jobs: | ||
| linux: | ||
| name: Haskell-CI - Linux - ${{ matrix.compiler }} | ||
| runs-on: ubuntu-20.04 | ||
| timeout-minutes: | ||
| 60 | ||
| container: | ||
| image: buildpack-deps:bionic | ||
| continue-on-error: ${{ matrix.allow-failure }} | ||
| strategy: | ||
| matrix: | ||
| include: | ||
| - compiler: ghc-9.6.3 | ||
| compilerKind: ghc | ||
| compilerVersion: 9.6.3 | ||
| setup-method: ghcup | ||
| allow-failure: false | ||
| fail-fast: false | ||
| steps: | ||
| - name: apt | ||
| run: | | ||
| apt-get update | ||
| apt-get install -y --no-install-recommends gnupg ca-certificates dirmngr curl git software-properties-common libtinfo5 | ||
| mkdir -p "$HOME/.ghcup/bin" | ||
| curl -sL https://downloads.haskell.org/ghcup/0.1.20.0/x86_64-linux-ghcup-0.1.20.0 > "$HOME/.ghcup/bin/ghcup" | ||
| chmod a+x "$HOME/.ghcup/bin/ghcup" | ||
| "$HOME/.ghcup/bin/ghcup" config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-prereleases-0.0.8.yaml; | ||
| "$HOME/.ghcup/bin/ghcup" install ghc "$HCVER" || (cat "$HOME"/.ghcup/logs/*.* && false) | ||
| "$HOME/.ghcup/bin/ghcup" install cabal 3.10.2.0 || (cat "$HOME"/.ghcup/logs/*.* && false) | ||
| env: | ||
| HCKIND: ${{ matrix.compilerKind }} | ||
| HCNAME: ${{ matrix.compiler }} | ||
| HCVER: ${{ matrix.compilerVersion }} | ||
| - name: Set PATH and environment variables | ||
| run: | | ||
| echo "$HOME/.cabal/bin" >> $GITHUB_PATH | ||
| echo "LANG=C.UTF-8" >> "$GITHUB_ENV" | ||
| echo "CABAL_DIR=$HOME/.cabal" >> "$GITHUB_ENV" | ||
| echo "CABAL_CONFIG=$HOME/.cabal/config" >> "$GITHUB_ENV" | ||
| HCDIR=/opt/$HCKIND/$HCVER | ||
| HC=$("$HOME/.ghcup/bin/ghcup" whereis ghc "$HCVER") | ||
| HCPKG=$(echo "$HC" | sed 's#ghc$#ghc-pkg#') | ||
| HADDOCK=$(echo "$HC" | sed 's#ghc$#haddock#') | ||
| echo "HC=$HC" >> "$GITHUB_ENV" | ||
| echo "HCPKG=$HCPKG" >> "$GITHUB_ENV" | ||
| echo "HADDOCK=$HADDOCK" >> "$GITHUB_ENV" | ||
| echo "CABAL=$HOME/.ghcup/bin/cabal-3.10.2.0 -vnormal+nowrap" >> "$GITHUB_ENV" | ||
| HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\d+)\.(\d+)\.(\d+)(\.(\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))') | ||
| echo "HCNUMVER=$HCNUMVER" >> "$GITHUB_ENV" | ||
| echo "ARG_TESTS=--enable-tests" >> "$GITHUB_ENV" | ||
| echo "ARG_BENCH=--enable-benchmarks" >> "$GITHUB_ENV" | ||
| echo "HEADHACKAGE=false" >> "$GITHUB_ENV" | ||
| echo "ARG_COMPILER=--$HCKIND --with-compiler=$HC" >> "$GITHUB_ENV" | ||
| echo "GHCJSARITH=0" >> "$GITHUB_ENV" | ||
| env: | ||
| HCKIND: ${{ matrix.compilerKind }} | ||
| HCNAME: ${{ matrix.compiler }} | ||
| HCVER: ${{ matrix.compilerVersion }} | ||
| - name: env | ||
| run: | | ||
| env | ||
| - name: write cabal config | ||
| run: | | ||
| mkdir -p $CABAL_DIR | ||
| cat >> $CABAL_CONFIG <<EOF | ||
| remote-build-reporting: anonymous | ||
| write-ghc-environment-files: never | ||
| remote-repo-cache: $CABAL_DIR/packages | ||
| logs-dir: $CABAL_DIR/logs | ||
| world-file: $CABAL_DIR/world | ||
| extra-prog-path: $CABAL_DIR/bin | ||
| symlink-bindir: $CABAL_DIR/bin | ||
| installdir: $CABAL_DIR/bin | ||
| build-summary: $CABAL_DIR/logs/build.log | ||
| store-dir: $CABAL_DIR/store | ||
| install-dirs user | ||
| prefix: $CABAL_DIR | ||
| repository hackage.haskell.org | ||
| url: http://hackage.haskell.org/ | ||
| EOF | ||
| cat >> $CABAL_CONFIG <<EOF | ||
| program-default-options | ||
| ghc-options: $GHCJOBS +RTS -M3G -RTS | ||
| EOF | ||
| cat $CABAL_CONFIG | ||
| - name: versions | ||
| run: | | ||
| $HC --version || true | ||
| $HC --print-project-git-commit-id || true | ||
| $CABAL --version || true | ||
| - name: update cabal index | ||
| run: | | ||
| $CABAL v2-update -v | ||
| - name: install cabal-plan | ||
| run: | | ||
| mkdir -p $HOME/.cabal/bin | ||
| curl -sL https://github.com/haskell-hvr/cabal-plan/releases/download/v0.7.3.0/cabal-plan-0.7.3.0-x86_64-linux.xz > cabal-plan.xz | ||
| echo 'f62ccb2971567a5f638f2005ad3173dba14693a45154c1508645c52289714cb2 cabal-plan.xz' | sha256sum -c - | ||
| xz -d < cabal-plan.xz > $HOME/.cabal/bin/cabal-plan | ||
| rm -f cabal-plan.xz | ||
| chmod a+x $HOME/.cabal/bin/cabal-plan | ||
| cabal-plan --version | ||
| - name: checkout | ||
| uses: actions/checkout@v3 | ||
| with: | ||
| path: source | ||
| - name: initial cabal.project for sdist | ||
| run: | | ||
| touch cabal.project | ||
| echo "packages: $GITHUB_WORKSPACE/source/." >> cabal.project | ||
| cat cabal.project | ||
| - name: sdist | ||
| run: | | ||
| mkdir -p sdist | ||
| $CABAL sdist all --output-dir $GITHUB_WORKSPACE/sdist | ||
| - name: unpack | ||
| run: | | ||
| mkdir -p unpacked | ||
| find sdist -maxdepth 1 -type f -name '*.tar.gz' -exec tar -C $GITHUB_WORKSPACE/unpacked -xzvf {} \; | ||
| - name: generate cabal.project | ||
| run: | | ||
| PKGDIR_cem_script="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/cem-script-[0-9.]*')" | ||
| echo "PKGDIR_cem_script=${PKGDIR_cem_script}" >> "$GITHUB_ENV" | ||
| rm -f cabal.project cabal.project.local | ||
| touch cabal.project | ||
| touch cabal.project.local | ||
| echo "packages: ${PKGDIR_cem_script}" >> cabal.project | ||
| echo "package cem-script" >> cabal.project | ||
| echo " ghc-options: -Werror=missing-methods" >> cabal.project | ||
| cat >> cabal.project <<EOF | ||
| EOF | ||
| $HCPKG list --simple-output --names-only | perl -ne 'for (split /\s+/) { print "constraints: $_ installed\n" unless /^(cem-script)$/; }' >> cabal.project.local | ||
| cat cabal.project | ||
| cat cabal.project.local | ||
| - name: dump install plan | ||
| run: | | ||
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dry-run all | ||
| cabal-plan | ||
| - name: restore cache | ||
| uses: actions/cache/restore@v3 | ||
| with: | ||
| key: ${{ runner.os }}-${{ matrix.compiler }}-${{ github.sha }} | ||
| path: ~/.cabal/store | ||
| restore-keys: ${{ runner.os }}-${{ matrix.compiler }}- | ||
| - name: install dependencies | ||
| run: | | ||
| $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks --dependencies-only -j2 all | ||
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dependencies-only -j2 all | ||
| - name: build w/o tests | ||
| run: | | ||
| $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks all | ||
| - name: build | ||
| run: | | ||
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --write-ghc-environment-files=always | ||
| - name: cabal check | ||
| run: | | ||
| cd ${PKGDIR_cem_script} || false | ||
| ${CABAL} -vnormal check | ||
| - name: haddock | ||
| run: | | ||
| $CABAL v2-haddock --disable-documentation --haddock-all $ARG_COMPILER --with-haddock $HADDOCK $ARG_TESTS $ARG_BENCH all | ||
| - name: unconstrained build | ||
| run: | | ||
| rm -f cabal.project.local | ||
| $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks all | ||
| - name: save cache | ||
| uses: actions/cache/save@v3 | ||
| if: always() | ||
| with: | ||
| key: ${{ runner.os }}-${{ matrix.compiler }}-${{ github.sha }} | ||
| path: ~/.cabal/store |
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 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 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,7 @@ | ||
| { | ||
| "cSpell.words": [ | ||
| "Fracada", | ||
| "POCRE", | ||
| "Serialised" | ||
| ] | ||
| } |
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 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
Oops, something went wrong.