Merge remote-tracking branch 'upstream/master'

.github/workflows/ci.yml

@@ -0,0 +1,47 @@
+name: CI tests
+
+on: [push, pull_request]
+
+jobs:
+ linux:
+
+ runs-on: ubuntu-latest
+ strategy:
+ fail-fast: true
+ matrix:
+ versions:
+ - ghc: '8.10'
+ cabal: '3.2'
+ - ghc: '9.0'
+ cabal: '3.4'
+ - ghc: '9.2'
+ cabal: '3.6'
+ - ghc: '9.4'
+ cabal: 'latest'
+ - ghc: '9.6'
+ cabal: 'latest'
+ steps:
+ - uses: actions/checkout@v1
+ - name: Install cabal/ghc
+ run: |
+ ghcup install ghc --set ${{ matrix.versions.ghc }}
+ ghcup install cabal --set ${{ matrix.versions.cabal }}
+
+ - name: Cache cabal global package db
+ id: cabal-global
+ uses: actions/cache@v3
+ with:
+ path: |
+ ~/.cabal
+ key: ${{ runner.os }}-${{ matrix.versions.ghc }}-${{ matrix.versions.cabal }}-cabal-global-${{ secrets.CACHE_VERSION }}
+
+ - name: Update
+ run: |
+ cabal v2-update
+ - name: Build
+ run: |
+ cabal v2-build --enable-tests --disable-optimization -fexecutable
+ - name: Test
+ run: |
+ cabal v2-test --disable-optimization
+

.gitignore

@@ -1,5 +1,6 @@
 dist
 cabal-dev
+cabal.project.local
 *.o
 *.hi
 *.chi

Makefile

@@ -16,12 +16,6 @@ install:
 clean:
  cabal clean
 
-bench:
- cabal configure --enable-benchmarks && \
- cabal install --only-dependencies && \
- cabal build && \
- cabal bench
-
 update-c-sources: $(C_SOURCES)
 
 cbits/config.h: $(CMARK_DIR)/build/src/config.h
@@ -39,4 +33,4 @@ cbits/%: $(CMARK_DIR)/src/%
 cbits/%: $(CMARK_DIR)/extensions/%
  cp $< $@
 
-.PHONY: build prep install test clean bench update-c-sources
+.PHONY: build prep install test clean update-c-sources