Skip to content

Local Installation

Jump to bottom
Gianfranco Mariotti edited this page Jan 25, 2022 · 1 revision

You can install WebRISC-V on a local server. The reference Installation has been done on the Linux distro Ubuntu 18.04 LTS (it works also on the Ubuntu WSL in Windows 10).

Option 1: Apache

  • To install the web-server Apache with the PHP interpreter issue the following commands:
  sudo apt -y update
  sudo apt -y install apache2 php libapache2-mod-php php-gmp
  sudo ufw allow "Apache"           (ufw may fail if you don't have ufw... just ignore it)
  sudo systemctl status apache2

  --> you should see something like:
    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 install the WebRISC-V software:
  sudo apt -y install wget unzip
  wget https://github.com/Mariotti94/WebRISC-V/archive/refs/heads/master.zip -O WebRISC-V-master.zip
  unzip WebRISC-V-master.zip
  sudo rm /var/www/html/*
  sudo mv WebRISC-V-master/www/* /var/www/html/

Option 2: Docker

  • To install docker and docker-compose issue the following commands:
sudo apt-get update
sudo apt-get install ca-certificates curl gnupg lsb-release
curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /usr/share/keyrings/docker-archive-keyring.gpg
echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/docker-archive-keyring.gpg] https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable" | sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
sudo apt-get update
sudo apt-get install docker-ce docker-ce-cli containerd.io
sudo systemctl start docker
sudo systemctl enable docker
sudo curl -L "https://github.com/docker/compose/releases/download/1.29.2/docker-compose-$(uname -s)-$(uname -m)" -o /usr/local/bin/docker-compose
sudo chmod +x /usr/local/bin/docker-compose
  • To install the WebRISC-V docker container:
  sudo apt -y install wget unzip
  wget https://github.com/Mariotti94/WebRISC-V/archive/refs/heads/master.zip -O WebRISC-V-master.zip
  unzip WebRISC-V-master.zip
  cd WebRISC-V-master
  sudo docker-compose up -d --build
Clone this wiki locally