|
|
| version 1.26, 2011/03/29 08:12:55 | version 1.28, 2012/06/09 07:58:49 |
|---|---|
| Line 43 fi | Line 43 fi |
| if test ! -f "$project_directory/pcre/lib/libpcre.a"; then | if test ! -f "$project_directory/pcre/lib/libpcre.a"; then |
| cd $project_directory/src | cd $project_directory/src |
| libpcre="pcre-8.12" | libpcre="pcre-8.30" |
| if test ! -f "$libpcre.tar.gz"; then | if test ! -f "$libpcre.tar.gz"; then |
| echo "Downloading pcre [2 lib of 2]..." | echo "Downloading pcre [2 lib of 2]..." |
| wget -c --passive-ftp ftp://ftp.csx.cam.ac.uk/pub/software/programming/pcre/$libpcre.tar.gz | wget -c --passive-ftp ftp://ftp.csx.cam.ac.uk/pub/software/programming/pcre/$libpcre.tar.gz |
| Line 77 fi | Line 77 fi |
| cd $parser3_directory | cd $parser3_directory |
| if test ! -f "Makefile"; then | if test ! -f "Makefile"; then |
| options="" | options="$@" |
| options="$options --with-static-gc=$project_directory/gc/lib" | options="$options --with-static-gc=$project_directory/gc/lib" |
| options="$options --with-static-pcre=$project_directory/pcre" | options="$options --with-static-pcre=$project_directory/pcre" |
| # options="$options --with-curl=/usr/include/curl" | |
| # options="$options --disable-safe-mode" | # options="$options --disable-safe-mode" |
| # options="$options --with-dynamic-stdcpp" | # options="$options --with-dynamic-stdcpp" |
| # options="$options --disable-stringstream" | # options="$options --disable-stringstream" |