The development VM is known as cgc-linux-dev and the corresponding Vagrantfile is the configuration
-
Run vagrant up (name)
-
Run vagrant ssh (name)
Files has to be put in the same folder where the Vagrantfile has been put.
Files can be found at cd /vagrant/ (foldername) and make to build the CGC binary