polserver/devmachine
turleypol a1864581a0
Use mariadb connector as a replacement for mysqlconnector (#872)
* silence cppdap lib

* refornat curl flags for readabilty

* zlib was build with the wrong runtime mode. Updated version

* use mariadb connector instead of mysql

* removed mysql define

* removed mysql

* removed installation of mysqlclient in workflow runs

* fixed curl install dir

* missing zstd on macos

* fixed module parsing for cmake 4.x

* docs

* added mariadb build to tidy_pr_check

* test sql on all platforms
some plugins need to included on windows
2026-03-30 22:50:24 +02:00
..
prepareMachine.sh Use mariadb connector as a replacement for mysqlconnector (#872) 2026-03-30 22:50:24 +02:00
README.txt More on line endings normalization 2016-02-12 11:39:51 +01:00

What is this about
============

We are using Vagrant to set up a standard Linux development virtual
machine for POL. It runs Ubuntu 12.04 LTS.


Installing Vagrant
============

Read the docs here: 
http://docs.vagrantup.com/v2/installation/index.html

The most recent version of Vagrant can be found at: 
http://downloads.vagrantup.com/


Running the machine
=============

After installing, go to the root folder (where the "Vagrant" file is) and type:

	vagrant up

It will take a while to create the virtual machine and install the required packages.
Once this is done, you can access the machine by typing:
	
	vagrant ssh

If you are on Windows (and not using cygwin or git-bash), there will be an error. The error
should have enough information so you can connect using Putty or a similar SSH client.