Skip to content

Commit

Permalink
First attempt at CI for mhs compilation.
Browse files Browse the repository at this point in the history
  • Loading branch information
augustss committed Sep 19, 2024
1 parent 89860fc commit bbcbc85
Showing 1 changed file with 31 additions and 0 deletions.
31 changes: 31 additions & 0 deletions .github/workflows/mhs-ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
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

0 comments on commit bbcbc85

Please sign in to comment.