2
0
mirror of https://codeberg.org/kiss-community/repo synced 2024-07-02 14:02:27 +00:00

nodejs: Remove unneeded headers

This commit is contained in:
Dylan Araps 2020-03-04 22:57:53 +02:00
parent 15ba557ba2
commit ad89922090
No known key found for this signature in database
GPG Key ID: 46D62DD9F1DE636E

View File

@ -1,15 +1,17 @@
#!/bin/sh -e
export DESTDIR="$1"
./configure \
--prefix=/usr \
--shared-zlib \
--without-intl \
--without-etw \
--without-dtrace \
--without-report \
--without-node-snapshot \
--without-node-code-cache \
--ninja
ninja -C out/Release
tools/install.py install "$1" /usr
# Remove unneeded headers.
rm -rf "$1/usr/include/node/openssl"