INSTRUCTIONS for installing WebRISC-V on a local server - 20190520
-------------------------------------------------------------------------
Reference Installation has been done on a Linux distro: UBUNTU 18.04LTS
(it works also on the Ubuntu shell in Windows-10)

* To install the web-server with the PHP issue the following commands:

  sudo apt -y update && sudo apt -y install apache2 php libapache2-mod-php
  sudo apt -y install php-pear php-fpm php-dev php-zip php-curl php-gd php-mysql php-mbstring php-xml php-xmlrpc 
  sudo ufw allow 'Apache'
  a2enmod php7.2
  sudo systemctl status apache2
(alternatively you may want to run:
  sudo service apache2 start && sudo service apache2 status )
  
--> you should see somthing like (ufw may fail if you don't have ufw... just ignore it):
apache2.service - The Apache HTTP Server
   Loaded: loaded (/lib/systemd/system/apache2.service; enabled; vendor preset: enabled)
  Drop-In: /lib/systemd/system/apache2.service.d
           \-apache2-systemd.conf
   Active: active (running) since Tue 2019-05-15 10:12:29 UTC; 1min ago
 Main PID: 4867 (apache2)
    Tasks: 52 (limit: 1101)
   CGroup: /system.slice/apache2.service
           |-4868 /usr/sbin/apache2 -k start
           |-4869 /usr/sbin/apache2 -k start
           \-4870 /usr/sbin/apache2 -k start

* To test if the web server with PHP works, open your local web-broswer (e.g., firefox)
and open this page:
  
  http://localhost
  
--> you should see: "Apache2 Ubuntu Default Page"

* To install the WebRISC-V software:

  cd /var/www/html
  sudo wget http://www.dii.unisi.it/~giorgi/WebRISC-V.tgz
  sudo tar xf WebRISC-V.tgz
  chmod -R 655 .
  chown www-data:www-data .
  
* in the browser open:
  http://localhost/WebRISC-V
  
--> Enjoy!!