Skip to content

Instantly share code, notes, and snippets.

@olsnacky
Created November 2, 2015 04:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save olsnacky/2fc8c98effb293bbd05d to your computer and use it in GitHub Desktop.
Save olsnacky/2fc8c98effb293bbd05d to your computer and use it in GitHub Desktop.
A Vagrantfile for a machine with Datalog.
# -*- mode: ruby -*-
# vi: set ft=ruby :
Vagrant.configure(2) do |config|
config.vm.box = "puppetlabs/centos-7.0-64-nocm"
config.vm.provision "shell", inline: <<-SHELL
wget http://internode.dl.sourceforge.net/project/datalog/datalog/2.5/datalog-2.5.tar.gz
sudo tar -zxf datalog-2.5.tar.gz
pushd datalog-2.5
./configure
make
sudo make install
popd
SHELL
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment