Skip to content

Linux installation

David Mansolino edited this page Aug 7, 2020 · 53 revisions

Clone the Github Repository

Install git:

sudo apt install git

Create the development directory in your home directory and clone the repository.

Note: instead of cloning https://github.com/cyberbotics/webots.git, we recommend to create your own fork and clone it, so that you can commit your changes directly on it.

git config --global credential.helper store
git config --global user.email "[email protected]"
git config --global user.name "Your Name"
git config --global push.default simple
git clone --recurse-submodules -j8 https://github.com/cyberbotics/webots.git
cd webots

Install Prerequisites Packages

The Webots dependencies can be installed with the following script:

scripts/install/linux_compilation_dependencies.sh

Setup your bash profile

Check the content of scripts/install/bashrc.linux and append it at the end of your ~/.bashrc:

cat scripts/install/bashrc.linux >> ~/.bashrc
source ~/.bashrc

Install Optional Dependencies [ optional ]

If needed, follow these instructions to install optional dependencies.

Build Webots

Compile Webots and automatically download the required resources in the depencencies folder:

make -jX

Note: X represents the number of threads for a speedy multi-threaded compilation. For example, type make -j12 on a CPU with four cores and hyper-threading.

make help displays additional targets for debugging, profiling, cleaning, etc.

Once compiled, type ./webots to launch it.

Clone this wiki locally