From e9651ef44675db2536f87ead2a69ca5f04d338c3 Mon Sep 17 00:00:00 2001 From: Lennart Augustsson Date: Thu, 19 Sep 2024 16:35:50 +0200 Subject: [PATCH] Add CI for MicroHs compilation. --- .github/workflows/mhs-ci.yml | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 .github/workflows/mhs-ci.yml diff --git a/.github/workflows/mhs-ci.yml b/.github/workflows/mhs-ci.yml new file mode 100644 index 000000000..2a772e50d --- /dev/null +++ b/.github/workflows/mhs-ci.yml @@ -0,0 +1,31 @@ +name: MicroHs CI for containers + +on: + push: + branches: [ "master" ] + pull_request: + branches: [ "master" ] + +jobs: + build-mhs-containers: + runs-on: ubuntu-latest + steps: + - name: checkout containers repo + uses: actions/checkout@v4 + with: + path: cont + - name: checkout mhs repo + uses: actions/checkout@v4 + with: + repository: augustss/MicroHs + path: mhs + - name: make mhs + run: | + cd mhs + make +# It's pretty ugly with the list of modules here, but I don't know a nice way of getting it from the cabal file. +# I'll make it nicer with mcabal later. + - name: compile containers package + run: | + cd mhs + MHSCPPHS=./bin/cpphs ./bin/mhs -Pcontainers-test -ocontainers-test.pkg -i../cont/containers/src -XCPP -I../cont/containers/include Data.Containers.ListUtils Data.IntMap Data.IntMap.Lazy Data.IntMap.Strict Data.IntMap.Strict.Internal Data.IntMap.Internal Data.IntMap.Internal.Debug Data.IntMap.Merge.Lazy Data.IntMap.Merge.Strict Data.IntSet.Internal Data.IntSet.Internal.IntTreeCommons Data.IntSet Data.Map Data.Map.Lazy Data.Map.Merge.Lazy Data.Map.Strict.Internal Data.Map.Strict Data.Map.Merge.Strict Data.Map.Internal Data.Map.Internal.Debug Data.Set.Internal Data.Set Data.Graph Data.Sequence Data.Sequence.Internal Data.Sequence.Internal.Sorting Data.Tree Utils.Containers.Internal.BitUtil Utils.Containers.Internal.BitQueue Utils.Containers.Internal.StrictPair