|
|
@ -36,19 +36,19 @@ else |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ "$OSNAME" == 'ubuntu' ] || [ "$OSNAME" == 'debian' ] ;then |
|
|
|
# if [ "$OSNAME" == 'ubuntu' ] || [ "$OSNAME" == 'debian' ] ;then |
|
|
|
apt install bison=2.4.1 |
|
|
|
# apt install bison=2.4.1 |
|
|
|
if [ "$?" != "0" ]; then |
|
|
|
# if [ "$?" != "0" ]; then |
|
|
|
echo 'The system version is too high to install' |
|
|
|
# echo 'The system version is too high to install' |
|
|
|
exit 1 |
|
|
|
# exit 1 |
|
|
|
fi |
|
|
|
# fi |
|
|
|
|
|
|
|
|
|
|
|
apt install flex=2.5.4 |
|
|
|
# apt install flex=2.5.4 |
|
|
|
if [ "$?" != "0" ]; then |
|
|
|
# if [ "$?" != "0" ]; then |
|
|
|
echo 'The system version is too high to install' |
|
|
|
# echo 'The system version is too high to install' |
|
|
|
exit 1 |
|
|
|
# exit 1 |
|
|
|
fi |
|
|
|
# fi |
|
|
|
fi |
|
|
|
# fi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
version=5.2.17 |
|
|
|
version=5.2.17 |
|
|
|