diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 14 | ||||
-rw-r--r-- | .github/workflows/nightly.yml | 4 |
2 files changed, 5 insertions, 13 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 18ae819..b31bc45 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -48,10 +48,8 @@ jobs: run: xvfb-run -a make check TESTSUITEFLAGS="--verbose" - name: Build Developer Documentation run: cd doc && make devdoc - # FIXME: Will try to perform an out-of-tree build which will not - # work without manual intervention due to Scintilla. -# - name: make distcheck -# run: xvfb-run -a make distcheck + - name: make distcheck + run: xvfb-run -a make distcheck - name: Build Source Tarball run: make dist @@ -86,9 +84,7 @@ jobs: run: make check TESTSUITEFLAGS="--verbose" - name: Build Developer Documentation run: cd doc && make devdoc - # FIXME: Will try to perform an out-of-tree build which will not - # work without manual intervention due to Scintilla. -# - run: make distcheck + - run: make distcheck - name: Build Source Tarball run: make dist @@ -135,8 +131,6 @@ jobs: run: make check TESTSUITEFLAGS="--verbose" - name: Build Developer Documentation run: cd doc && make devdoc - # FIXME: Will try to perform an out-of-tree build which will not - # work without manual intervention due to Scintilla. -# - run: make distcheck + - run: make distcheck - name: Build Source Tarball run: make dist diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 9c80c87..f4d8caa 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -189,9 +189,7 @@ jobs: LDFLAGS: -flto run: | autoreconf -i - mkdir -p build-wingui/contrib build-wincon/contrib - cp -r contrib/{scintilla,lexilla,scinterm} build-wingui/contrib - cp -r contrib/{scintilla,lexilla,scinterm} build-wincon/contrib + mkdir build-wingui build-wincon (cd build-wingui ../configure --with-interface=pdcurses-gui --enable-html-manual --program-prefix=g \ PDCURSES_LIBS="-lpdcurses_wingui -lgdi32 -lcomdlg32 -lwinmm") |