From f446b6a746c5f9bbb9df8a18ed723b39832b448a Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 10 Feb 2019 13:20:11 -0700
Subject: [PATCH] PAN-6 Updating MySQL version in Travis

---
 .travis.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 381a558..afaef63 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,12 +4,20 @@ services:
 
 install: true
 
+addons:
+  apt:
+    sources:
+      - mysql-5.7-trusty
+    packages:
+      - mysql-server
+      - mysql-client
+
 before_install:
   - chmod +x pandamonium-theorem-prover/gradlew
   - cd pandamonium-theorem-prover
 
 before_script:
-  - mysql -u root -e 'CREATE DATABASE pandamonium;'
+  - mysql -u root -e 'CREATE DATABASE IF NOT EXISTS pandamonium;'
   - mysql -u root pandamonium < persistence/scripts/mysql/local_development.sql
 
 stages: