closes #3277
This commit is contained in:
Jacob Heider 2023-09-10 16:27:21 -04:00
parent de0e3f0d86
commit 36d91ca956
No known key found for this signature in database
GPG key ID: 59D15ADC7DCD39BB

View file

@ -21,24 +21,25 @@ build:
python.org: ^3.11 python.org: ^3.11
x.org/protocol/xcb: ^1 x.org/protocol/xcb: ^1
gnu.org/patch: '*' gnu.org/patch: '*'
script: | script:
patch -p1 <props/configure.patch - run: patch -p1 <props/configure.patch
./configure $ARGS if: <1.16
make --jobs {{ hw.concurrency }} install - ./configure $ARGS
- make --jobs {{ hw.concurrency }} install
env: env:
SHELF: ${{tea.prefix}}/x.org SHELF: ${{tea.prefix}}/x.org
ARGS: ARGS:
- --prefix="{{prefix}}" - --prefix="{{prefix}}"
- --sysconfdir="$SHELF"/etc - --sysconfdir="$SHELF"/etc
- --localstatedir="$SHELF"/var - --localstatedir="$SHELF"/var
- --enable-dri3 - --enable-dri3
- --enable-ge - --enable-ge
- --enable-xevie - --enable-xevie
- --enable-xprint - --enable-xprint
- --enable-selinux - --enable-selinux
- --disable-silent-rules - --disable-silent-rules
- --enable-devel-docs=no - --enable-devel-docs=no
- --with-doxygen=no - --with-doxygen=no
test: test:
dependencies: dependencies: