Skip to content

Commit

Permalink
Add CI for MicroHs compilation.
Browse files Browse the repository at this point in the history
  • Loading branch information
augustss committed Sep 19, 2024
1 parent 89860fc commit e9651ef
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-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

0 comments on commit e9651ef

Please sign in to comment.