@@ -85,6 +85,7 @@ set_default_version()
8585 " mpich:3.1.4"
8686 " wget:1.16.3"
8787 " flex:2.6.0"
88+ " bison:3.0.4"
8889 " pkg-config:0.28"
8990 " make:4.1"
9091 " _unknown:0"
@@ -158,6 +159,7 @@ check_prerequisites()
158159 " cmake:wget"
159160 " mpich:wget"
160161 " flex:wget"
162+ " bison:wget"
161163 " pkg-config:wget"
162164 " make:ftp"
163165 " _unknown:0"
@@ -209,6 +211,7 @@ download_if_necessary()
209211 " mpich;http://www.mpich.org/static/downloads/$version_to_build /"
210212 " flex;http://sourceforge.net/projects/flex/files/"
211213 " make;ftp://ftp.gnu.org/gnu/make/"
214+ " bison;ftp://prep.ai.mit.edu/pub/gnu/bison/"
212215 " cmake;http://www.cmake.org/files/v$major_minor /"
213216 " _unknown;0"
214217 )
@@ -242,6 +245,7 @@ download_if_necessary()
242245 " pkg-config;pkg-config-$version_to_build .tar.gz"
243246 " mpich;mpich-$version_to_build .tar.gz"
244247 " flex;flex-$version_to_build .tar.xz"
248+ " bison;bison-$version_to_build .tar.xz"
245249 " make;make-$version_to_build .tar.bz2"
246250 " cmake;cmake-$version_to_build .tar.gz "
247251 " _unknown;0"
@@ -301,9 +305,15 @@ download_if_necessary()
301305 # In this case, args="ls" and the list of available versions has been printed so we can move on.
302306 exit 1
303307 fi
304- search_name=" $download_path /$package_source_directory "
305- if [ -f $search_name ] || [ -d $search_name ] && { [ " $fetch " = " svn" ] || [ " $fetch " = " git" ]; } then
306- echo " Download succeeded. $package_source_directory is in the following location:"
308+ # search_name="$download_path/$package_source_directory"
309+ # if [ -f $search_name ] || [ -d $search_name ] && { [ "$fetch" = "svn" ] || [ "$fetch" = "git" ]; } then
310+ # echo "Download succeeded. $package_source_directory is in the following location:"
311+ if [ -f " $download_path /$url_tail " ]; then
312+ echo " Download succeeded. $url_tail is in the following location:"
313+ echo " $download_path "
314+ elif [ -d " $download_path /$url_tail " ]; then
315+ echo " Download succeeded. $url_tail is in the following location:"
316+ echo " $download_path "
307317 else
308318 echo " Download failed: $package_source_directory is not in the following, expected location:"
309319 echo " $download_path "
0 commit comments