Environment/Install-Lazart.md

+- [_Lazart documentation_](../home)
+
+This page presents how to install Lazart and its dependencies.
+
+**Summary:**
+
+- [Overview](#overview)
+- [Install from docker](#install-lazart-from-docker)
+- [Build from sources](#build-lazart)
+
+
+# Overview
+
+You can run **Lazart** using three solutions : _running the **Lazart** docker image_, _building the docker image from sources_ or _building directly **Lazart** on your machine_. If you just want to test **Lazart** quicly, prefer the standard image.
+
+# Install Lazart from docker
+
+## Using docker image
+
+**This section is under development.**
+
+## Build Lazart docker from sources
+
+At first, you need to install the following dependencies :
+
+* _Git_ : [https://git-scm.com/](https://git-scm.com/) (not necessary if you already have the archive of **Lazart**)
+* _Docker_ : [https://www.docker.com/](https://www.docker.com/)
+* _Vagrant_ : [https://www.vagrantup.com/](https://www.vagrantup.com/)
+
+Clone _Lazart/lazart_ repository and go to the project folder. You have to copy the file `Vagrantfile.default` to `Vagrantfile`. You can specify additional shared folders and _Vagrant_ options in this configuration file.
+
+```console
+user@device:~/$ git clone git@gricad-gitlab.univ-grenoble-alpes.fr:lazart/lazart.git
+Cloning into 'lazart'...
+[...]
+[...]
+[...]
+remote: Compressing objects: 100% (27911/27911), done.
+remote: Total 249543 (delta 221173), reused 248608 (delta 220307)
+Receipting objects: 100% (249543/249543), 370.59 MiB | 679.00 KiB/s, done.
+Resolving deltas: 100% (221173/221173), done.
+Extracting: 100% (167994/167994), done.
+user@device:~$ cd lazart/
+user@device:~/lazart/$ cp Vagrantfile.default Vagrantfile
+```
+
+Then, execute the shell script _lazart.sh_ and wait for the docker container generation (which could takes few dozen of minutes). The **Lazart** image should be built and the container started, with all **Lazart** tools available.
+
+_note: for **Windows** users, please use_ `lazart.bat` _and install Docker for Windows. Windows version is under development._
+
+```console
+user@device:~/lazart/$ ./lazart.sh 
+Lazart 4.0
+For more information, please consult the documentation: https://gricad-gitlab.univ-grenoble-alpes.fr/lazart/lazart/-/wikis/home.
+Sending build context to Docker daemon      2GB
+Step 1/39 : FROM ubuntu:latest
+latest: Pulling from library/ubuntu
+[...]
+[...]
+[...]
+ ---> a352c2014f0a
+Successfully built a352c2014f0a
+Successfully tagged lazart/lazart:dev
+Bringing machine 'default' up with 'docker' provider...
+==> default: Creating the container...
+    default:   Name: c_lazart4.0
+    default:  Image: lazart/lazart:dev
+    default:    Cmd: tail -f /dev/null
+    default: Volume: /home/user/lazart/src:/opt/lazart/src
+    default: Volume: /home/lazart/docs:/opt/lazart/docs
+    default: Volume: /home/lazart/test:/opt/lazart/test
+    default: Volume: /home/lazart/dev:/opt/lazart/dev
+    default: Volume: /home/lazart/use-cases:/opt/lazart/use-cases
+    default: Volume: /lazart/dev:/vagrant
+    default:  
+    default: Container created: 32a54289b8ffeb27
+==> default: Starting container...
+==> default: Provisioners will not be run since container doesn't support SSH.
+root@lazart:/opt/lazart#
+```
+
+If you already have the container running and see an error, restart the container:
+
+```console
+user@device:~/lazart/$ docker restart c_lazart4.0 && lazart.sh
+```
+
+You can verify if you installation is correct by running the regression [tests](Environment/Tests):
+
+```console
+root@lazart:/opt/lazart# cd tests/regression
+root@lazart:/opt/lazart/tests/regression# ./run_all.sh
+```
+
+# Build Lazart
+
+If you want to install **Lazart** directly on your machine, please install all dependencies by yourself: **LLVM**, **Clang**, **Klee**, **Python**...
+
+**This section is under development.**
\ No newline at end of file