2024-10-04 06:04:02 +08:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
source versions.sh
|
|
|
|
|
|
|
|
GLSOURCES="/sources"
|
|
|
|
|
2024-10-08 15:12:55 +08:00
|
|
|
pushd ${GLSOURCES} > /dev/null 2>&1 || myfail "Failed to move to ${GLSOURCES}"
|
2024-10-04 06:04:02 +08:00
|
|
|
|
|
|
|
[ -d texinfo-${texinfo_version} ] && rm -rf texinfo-${texinfo_version}
|
|
|
|
|
|
|
|
tar -Jxf ${texinfo_tarball}
|
|
|
|
|
|
|
|
cd texinfo-${texinfo_version}
|
|
|
|
|
|
|
|
./configure --prefix=/usr
|
|
|
|
|
|
|
|
make
|
|
|
|
|
|
|
|
if [ $? -ne 0 ]; then
|
|
|
|
myfail "Failed building texinfo"
|
|
|
|
fi
|
|
|
|
|
|
|
|
make install
|
|
|
|
|
|
|
|
if [ $? -ne 0 ]; then
|
|
|
|
myfail "Failed installing texinfo"
|
|
|
|
fi
|
2024-10-08 15:12:55 +08:00
|
|
|
|
|
|
|
popd
|
|
|
|
|
|
|
|
# cleanup
|
|
|
|
|
|
|
|
pushd ${GLSOURCES}
|
|
|
|
|
|
|
|
rm -rf texinfo-${texinfo_version}
|
|
|
|
|
|
|
|
popd
|