Skip to content

Reverse sort support table #571

Reverse sort support table

Reverse sort support table #571

Workflow file for this run

name: libs
# Tests building external libs we care about. We want this to run frequently
# so that upstream changes are handled.
on:
push:
branches:
- main
pull_request:
branches:
- main
schedule:
# Every day at 00:00 UTC.
#
# https://crontab.guru
- cron: '0 0 * * 0-6'
workflow_dispatch:
jobs:
# FIXME: This currently fails on CI for a strange reason:
#
# Failed to build zlib-0.7.1.0 (which is required by test:unit-tests from cabal-install-3.13.0.0, test:mem-use-tests from cabal-install-3.13.0.0 and others). See the build log above for details.
#
# error: In file included from dist/build/Codec/Compression/Zlib/Stream_hsc_utils.c:6:
# /usr/include/stdio.h:205:27: error: ‘L_tmpnam’ undeclared here (not in a function)
# 205 | extern char *tmpnam (char[L_tmpnam]) __THROW __wur;
# | ^~~~~~~~
# /usr/include/stdio.h:210:33: error: ‘L_tmpnam’ undeclared here (not in a function); did you mean ‘tmpnam’?
# 210 | extern char *tmpnam_r (char __s[L_tmpnam]) __THROW __wur;
# | ^~~~~~~~
# | tmpnam
# Failed to remove file dist/build/Codec/Compression/Zlib/Stream_hsc_utils.o; error= dist/build/Codec/Compression/Zlib/Stream_hsc_utils.o: removeLink: does not exist (No such file or directory)
#
# But this currently works locally i.e. I can load a 9.10.1 shell and build
# the lastest cabal. Not sure what that's about.
cabal:
runs-on: ubuntu-latest
# This allows the cabal job to fail without failing the entire workflow
continue-on-error: true
steps:
- uses: actions/checkout@v4
- name: Setup nix
uses: cachix/install-nix-action@v25
with:
github_access_token: ${{ secrets.GITHUB_TOKEN }}
nix_path: nixpkgs=channel:nixos-unstable
- name: Clone cabal
uses: actions/checkout@v4
with:
repository: haskell/cabal
ref: master
path: ./cabal-build
- name: Build
run: |
nix-shell . -A default --argstr ghc-vers ghc9101 --run '
cd ./cabal-build \
&& cabal update \
&& cabal build cabal-install'
liquidhaskell:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup nix
uses: cachix/install-nix-action@v25
with:
github_access_token: ${{ secrets.GITHUB_TOKEN }}
nix_path: nixpkgs=channel:nixos-unstable
- name: Clone liquidhaskell
uses: actions/checkout@v4
with:
repository: ucsd-progsys/liquidhaskell
ref: develop
path: ./liquidhaskell-build
submodules: recursive
- name: hls = true
run: nix-shell . -A liquidhaskell --arg hls true --dry-run
- name: Build
run: |
nix-shell . -A liquidhaskell --run '
cd ./liquidhaskell-build \
&& cabal update \
&& cabal build'
- name: Test
run: |
nix-shell . -A liquidhaskell --run '
cd ./liquidhaskell-build \
&& cabal update \
&& ./scripts/test/test_plugin.sh'