2024-10-04 02:50:57 +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 02:50:57 +08:00
|
|
|
|
|
|
|
[ -d bison-${bison_version} ] && rm -rf bison-${bison_version}
|
|
|
|
|
|
|
|
tar -Jxf ${bison_tarball}
|
|
|
|
|
|
|
|
cd bison-${bison_version}
|
|
|
|
|
|
|
|
./configure --prefix=/usr \
|
|
|
|
--docdir=/usr/share/doc/bison-${bison_version}
|
|
|
|
|
|
|
|
make
|
|
|
|
|
|
|
|
if [ $? -ne 0 ]; then
|
|
|
|
myfail "Failed building bison"
|
|
|
|
fi
|
|
|
|
|
|
|
|
make install
|
|
|
|
|
|
|
|
if [ $? -ne 0 ]; then
|
|
|
|
myfail "Failed installing bison"
|
|
|
|
fi
|
2024-10-08 15:12:55 +08:00
|
|
|
|
|
|
|
popd
|
|
|
|
|
|
|
|
# cleanup
|
|
|
|
|
|
|
|
pushd ${GLSOURCES}
|
|
|
|
|
|
|
|
rm -rf bison-${bison_version}
|
|
|
|
|
|
|
|
popd
|