mirror of
https://github.com/YellowJacketLinux/lfs-buildscripts.git
synced 2025-01-23 22:42:28 +08:00
44 lines
886 B
Bash
44 lines
886 B
Bash
#!/bin/bash
|
|
|
|
source versions.sh
|
|
|
|
GLSOURCES="/sources"
|
|
|
|
pushd ${GLSOURCES} > /dev/null 2>&1 || myfail "Failed to move to ${GLSOURCES}"
|
|
|
|
[ -d dejagnu-${dejagnu_version} ] && rm -rf dejagnu-${dejagnu_version}
|
|
|
|
tar -zxf ${dejagnu_tarball}
|
|
|
|
cd dejagnu-${dejagnu_version}
|
|
|
|
mkdir build && cd build
|
|
|
|
../configure --prefix=/usr
|
|
|
|
makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
|
|
makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi
|
|
|
|
if [ ! -f ${GLSOURCES}/SKIPTESTS ]; then
|
|
echo "running dejagnu make check"
|
|
make check > ${GLSOURCES}/dejagnu.check.log 2>&1
|
|
fi
|
|
|
|
make install
|
|
if [ $? -ne 0 ]; then
|
|
myfail "Failed installing dejagnu"
|
|
fi
|
|
|
|
install -v -dm755 /usr/share/doc/dejagnu-${dejagnu_version}
|
|
install -v -m644 doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-${dejagnu_version}
|
|
|
|
popd
|
|
|
|
# cleanup
|
|
|
|
pushd $GLSOURCES
|
|
|
|
rm -rf dejagnu-${dejagnu_version}
|
|
|
|
popd
|