API documentation: clarification countrycode assignment happens using admin_level...

[nominatim.git] / vagrant / Install-on-Ubuntu-18-nginx.sh

diff --git a/vagrant/Install-on-Ubuntu-18-nginx.sh b/vagrant/Install-on-Ubuntu-18-nginx.sh
index 567149895555bf10aad3ada4550cc067f396e4fc..382df6b2448ba526986763d94756cf1bde30d84d 100755 (executable)
--- a/vagrant/Install-on-Ubuntu-18-nginx.sh
+++ b/vagrant/Install-on-Ubuntu-18-nginx.sh
@@ -18,12 +18,13 @@ export DEBIAN_FRONTEND=noninteractive
 
     sudo apt-get update -qq
     sudo apt-get install -y build-essential cmake g++ libboost-dev libboost-system-dev \
 
     sudo apt-get update -qq
     sudo apt-get install -y build-essential cmake g++ libboost-dev libboost-system-dev \

-                            libboost-filesystem-dev libexpat1-dev zlib1g-dev libxml2-dev\
+                            libboost-filesystem-dev libexpat1-dev zlib1g-dev\

                             libbz2-dev libpq-dev libproj-dev \
                             postgresql-server-dev-10 postgresql-10-postgis-2.4 \
                             postgresql-contrib-10 \
                             nginx php-fpm php php-pgsql \
                             libbz2-dev libpq-dev libproj-dev \
                             postgresql-server-dev-10 postgresql-10-postgis-2.4 \
                             postgresql-contrib-10 \
                             nginx php-fpm php php-pgsql \

-                            php-intl git
+                            php-intl python3-setuptools python3-dev python3-pip \
+                            python3-psycopg2 python3-tidylib git

 
     export USERNAME=vagrant
     export USERHOME=/home/vagrant
 
     export USERNAME=vagrant
     export USERHOME=/home/vagrant