fix(openjdk) (#5867)

* fix(openjdk)

* might as well link all of them

---------

Co-authored-by: Jacob Heider <jacob@pkgx.dev>
This commit is contained in:
Andrew 2024-04-12 19:45:35 +03:00 committed by GitHub
parent dcf01d26be
commit b5cc3debc8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -90,6 +90,14 @@ build:
- make images $MAKE_ARGS
- mkdir -p {{prefix}}
- mv $JDK_DIR {{prefix}}/
- run: |
# jni.h:45:10: fatal error: 'jni_md.h' file not found
if test -d {{ hw.platform }}; then
mv {{ hw.platform }}/* .
rmdir {{ hw.platform }}
ln -s . {{ hw.platform }}
fi
working-directory: ${{prefix}}/include
env:
MAKE_ARGS: 'JOBS={{ hw.concurrency }}'
darwin: