diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/INSTALL.txt | 10 | ||||
| -rwxr-xr-x | doc/problemexamples/problemtemplate/run/java | 1 |
2 files changed, 9 insertions, 2 deletions
diff --git a/doc/INSTALL.txt b/doc/INSTALL.txt index 9c5fd57..d3a1248 100644 --- a/doc/INSTALL.txt +++ b/doc/INSTALL.txt @@ -21,9 +21,15 @@ Usually that is true if you have installed the following ubuntu/debian packages, as given by an apt-get example line: apt-get install \ +php-zip debootstrap schroot quotatool makepasswd apache2 \ +libapache2-mod-php sharutils wget coreutils php php-cli \ +php-pgsql php-gd postgresql postgresql-client \ +libany-uri-escape-perl php-xml openssl + + postgresql postgresql-contrib postgresql-client apache2 \ -libapache2-mod-php5 php5 php5-cli php5-cgi php5-gd \ -php5-mcrypt php5-pgsql +libapache2-mod-php php php-cli php-cgi php-gd openssl \ +php-pgsql It may be needed to configure some parameters in php.ini, postgresql.conf and pg_hba.conf files. The following lines diff --git a/doc/problemexamples/problemtemplate/run/java b/doc/problemexamples/problemtemplate/run/java index 4cec4ee..40964cd 100755 --- a/doc/problemexamples/problemtemplate/run/java +++ b/doc/problemexamples/problemtemplate/run/java @@ -186,6 +186,7 @@ if [ $ret -gt 10 ]; then echo "> > > Nonzero return code - possible runtime error - do check < < <" fi ret=9 + fi fi if [ -f stdout0 ]; then cat stdout0 |