PAN-6 Updating MySQL version in Travis

2019-02-10 13:20:11 -07:00
parent 8be4da85b0
commit f446b6a746
1 changed files with 9 additions and 1 deletions
@@ -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: