Created
November 8, 2016 12:29
-
-
Save mintar/6c640c7781d4e8b8a7212e8d4031e155 to your computer and use it in GitHub Desktop.
Vagrantfile to compile ros-industrial/industrial_calibration#85
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- mode: ruby -*- | |
# vi: set ft=ruby : | |
# All Vagrant configuration is done below. The "2" in Vagrant.configure | |
# configures the configuration version (we support older styles for | |
# backwards compatibility). Please don't change it unless you know what | |
# you're doing. | |
Vagrant.configure(2) do |config| | |
# The most common configuration options are documented and commented below. | |
# For a complete reference, please see the online documentation at | |
# https://docs.vagrantup.com. | |
# Every Vagrant development environment requires a box. You can search for | |
# boxes at https://atlas.hashicorp.com/search. | |
config.vm.box = "ubuntu/trusty64" | |
# Disable automatic box update checking. If you disable this, then | |
# boxes will only be checked for updates when the user runs | |
# `vagrant box outdated`. This is not recommended. | |
# config.vm.box_check_update = false | |
# Create a forwarded port mapping which allows access to a specific port | |
# within the machine from a port on the host machine. In the example below, | |
# accessing "localhost:8080" will access port 80 on the guest machine. | |
# config.vm.network "forwarded_port", guest: 80, host: 8080 | |
# Create a private network, which allows host-only access to the machine | |
# using a specific IP. | |
# config.vm.network "private_network", ip: "192.168.33.10" | |
# Create a public network, which generally matched to bridged network. | |
# Bridged networks make the machine appear as another physical device on | |
# your network. | |
# config.vm.network "public_network" | |
# Share an additional folder to the guest VM. The first argument is | |
# the path on the host to the actual folder. The second argument is | |
# the path on the guest to mount the folder. And the optional third | |
# argument is a set of non-required options. | |
# config.vm.synced_folder "../data", "/vagrant_data" | |
# Provider-specific configuration so you can fine-tune various | |
# backing providers for Vagrant. These expose provider-specific options. | |
# Example for VirtualBox: | |
config.vm.provider "virtualbox" do |vb| | |
# Display the VirtualBox GUI when booting the machine | |
#vb.gui = true | |
# Customize the amount of memory on the VM: | |
vb.memory = "2048" | |
end | |
# Define a Vagrant Push strategy for pushing to Atlas. Other push strategies | |
# such as FTP and Heroku are also available. See the documentation at | |
# https://docs.vagrantup.com/v2/push/atlas.html for more information. | |
# config.push.define "atlas" do |push| | |
# push.app = "YOUR_ATLAS_USERNAME/YOUR_APPLICATION_NAME" | |
# end | |
# Enable provisioning with a shell script. Additional provisioners such as | |
# Puppet, Chef, Ansible, Salt, and Docker are also available. Please see the | |
# documentation for more information about their specific syntax and use. | |
$script = <<-SHELL | |
export CI_ROS_DISTRO="indigo" | |
export CATKIN_WS=~/catkin_ws | |
export CATKIN_WS_SRC=${CATKIN_WS}/src | |
sudo sh -c 'echo "deb http://packages.ros.org/ros/ubuntu trusty main" > /etc/apt/sources.list.d/ros-latest.list' | |
wget http://packages.ros.org/ros.key -O - | sudo apt-key add - | |
sudo apt-get update -qq | |
sudo apt-get install -qq -y python-rosdep python-catkin-tools git build-essential cmake | |
sudo rosdep init | |
rosdep update | |
mkdir -p $CATKIN_WS_SRC | |
cd $CATKIN_WS_SRC/ | |
git clone -b indigo-devel https://github.com/ros-industrial/industrial_calibration.git | |
cd industrial_calibration | |
git config --global user.email "you@example.com" | |
git config --global user.name "Your Name" | |
git pull --no-edit https://github.com/mintar/industrial_calibration.git ceres-depend | |
# Use rosdep to install all dependencies (including ROS itself) | |
rosdep install --from-paths ./ -i -y --rosdistro $CI_ROS_DISTRO | |
source /opt/ros/$CI_ROS_DISTRO/setup.bash | |
cd $CATKIN_WS | |
## alternatively to the `catkin` commands below, you can use `catkin_make` (both work): | |
#catkin_make | |
# Init catkin workspace | |
catkin init | |
# Enable install space | |
catkin config --install | |
# Build [and Install] packages | |
catkin build --limit-status-rate 0.1 --no-notify -DCMAKE_BUILD_TYPE=Release | |
# Build tests | |
catkin build --limit-status-rate 0.1 --no-notify --make-args tests | |
# Run tests | |
catkin run_tests | |
SHELL | |
config.vm.provision "shell", inline: $script, privileged: false | |
end |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment