Various changes to make it compile with MicroHs. #1
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
| name: MicroHs CI for containers | ||
| on: | ||
| push: | ||
| branches: [ "master" ] | ||
| pull_request: | ||
| branches: [ "master" ] | ||
| jobs: | ||
| build-linux-x86_64: | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - name: checkout containers repo | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| repository: augustss/MicroHs | ||
| path: cont | ||
| - name: checkout mhs repo | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| repository: augustss/MicroHs | ||
| path: mhs | ||
| - name: make mhs | ||
| run: | | ||
| cd mhs | ||
| make | ||
| - name: compile containers package | ||
| run: | | ||
| cd mhs | ||
| # 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. | ||
| ./bin/mhs -l -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 | ||
