Aggiornare 'build-deb'

main
sam 3 years ago
parent 61be787df4
commit 5473e67e4e

@ -30,7 +30,7 @@ SYSROOT=$HOME/sysroot
mkdir -p $SYSROOT
cd $SRC_PATH
make DESTDIR=$SYSROOT install
LIB_VERSION=$(ls -1 $SYSROOT/usr/lib/x86_64-linux-gnu|grep -v .0.0)
LIB_VERSION=$(ls -1 $SYSROOT/usr/lib/x86_64-linux-gnu|grep so.|grep -v 0.0)
LIB_VERSION=${LIB_VERSION: -1}
if [ -z "$LIB_VERSION" ];
then
@ -118,8 +118,8 @@ dpkg-deb --build --root-owner-group $PKG_ROOT_LIB
dpkg-deb --build --root-owner-group $PKG_ROOT_DEV
SIZE_LIB=$(du -s $PKG_ROOT_LIB|awk '{print $1}')
SIZE_LIB=$(du -s $PKG_ROOT_DEV|awk '{print $1}')
sed -i "s/Installed-Size: /Installed-Size: ${SIZE_LIB}/g" $PKG_ROOT_LIB
sed -i "s/Installed-Size: /Installed-Size: ${SIZE_DEV}/g" $PKG_ROOT_DEV
sed -i "s/Installed-Size: /Installed-Size: ${SIZE_LIB}/g" $CONTROL_LIB
sed -i "s/Installed-Size: /Installed-Size: ${SIZE_DEV}/g" $CONTROL_DEV
rm -f $PKG_ROOT_LIB.deb $PKG_ROOT_DEV.deb
dpkg-deb --build --root-owner-group $PKG_ROOT_LIB
dpkg-deb --build --root-owner-group $PKG_ROOT_DEV

Loading…
Cancel
Save