diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2018-08-24 18:49:51 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2018-08-24 18:49:51 +0000 |
| commit | 9a5387bd2637cdc9fb0496d094e503e484be10e9 (patch) | |
| tree | f3066cb67a237f426c5b219ad19a906cb2dffd85 /doc | |
| parent | 3cffb81354aac30059bef53406b6dcb96e262782 (diff) | |
| parent | e186493a2bd8fef5fc0c7ad47edefbabddb6f0ab (diff) | |
| download | boca-9a5387bd2637cdc9fb0496d094e503e484be10e9.tar.gz boca-9a5387bd2637cdc9fb0496d094e503e484be10e9.zip | |
Merge branch 'develc' of ssh://github.com/cassiopc/boca into develc
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 |