aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2024-08-24 04:42:22 +0200
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2024-08-24 04:42:22 +0200
commit94d12185d873c1808b902e010d305835fbb085f1 (patch)
tree41942dc39dd23b2e0cfbba9ffaf739cbb35a1fd8 /.github
parent0f1d48076cafc50d2018b98edbdc112669058a2f (diff)
downloadsciteco-94d12185d873c1808b902e010d305835fbb085f1.tar.gz
win32 CI: also set PDCURSES_CFLAGS
Should fix `make distcheck`.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml5
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c0c995d..03474c6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -132,6 +132,9 @@ jobs:
- name: Build Developer Documentation
run: cd doc && make devdoc
- name: make distcheck
- run: make distcheck DISTCHECK_CONFIGURE_FLAGS="--with-interface=pdcurses-gui"
+ env:
+ DISTCHECK_CONFIGURE_FLAGS: --with-interface=pdcurses-gui
+ PDCURSES_CFLAGS: -I/mingw32/include/pdcurses/
+ run: make distcheck
- name: Build Source Tarball
run: make dist