mirror of
https://github.com/LibreELEC/LibreELEC.tv.git
synced 2025-07-24 11:16:51 +00:00
ppl: update to ppl-1.0
Signed-off-by: Stephan Raue <stephan@openelec.tv>
This commit is contained in:
parent
e4cba1280e
commit
a442d35fe7
@ -33,6 +33,9 @@ CFLAGS=""
|
||||
CXXFLAGS=""
|
||||
LDFLAGS=""
|
||||
|
||||
# Disable PPL version check as the PPL major version number has been bumped so the check fails.
|
||||
PPL_CHECK="--disable-ppl-version-check"
|
||||
|
||||
cd $PKG_BUILD
|
||||
mkdir -p objdir && cd objdir
|
||||
../configure --host=$HOST_NAME \
|
||||
@ -49,6 +52,7 @@ mkdir -p objdir && cd objdir
|
||||
--disable-multilib \
|
||||
--disable-libada \
|
||||
--disable-libssp \
|
||||
$PPL_CHECK \
|
||||
--enable-cloog-backend=isl \
|
||||
--enable-version-specific-runtime-libs \
|
||||
$WITH_64B_BFD \
|
||||
|
@ -19,7 +19,7 @@
|
||||
################################################################################
|
||||
|
||||
PKG_NAME="ppl"
|
||||
PKG_VERSION="0.12.1"
|
||||
PKG_VERSION="1.0"
|
||||
PKG_REV="1"
|
||||
PKG_ARCH="any"
|
||||
PKG_LICENSE="GPL"
|
||||
|
Loading…
x
Reference in New Issue
Block a user