From 18ec879709d625ec8f318f95e52e2d03f38ca1a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Wed, 17 Apr 2019 15:01:11 +0200
Subject: [PATCH] Transition from REQUIRE to Project.toml

---
 .gitignore   |  1 +
 Project.toml | 39 +++++++++++++++++++++++++++++++++++++++
 REQUIRE      | 21 ---------------------
 test/REQUIRE |  1 -
 4 files changed, 40 insertions(+), 22 deletions(-)
 create mode 100644 Project.toml
 delete mode 100644 REQUIRE
 delete mode 100644 test/REQUIRE

diff --git a/.gitignore b/.gitignore
index 8c960ec..312718a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+Manifest.toml
 *.jl.cov
 *.jl.*.cov
 *.jl.mem
diff --git a/Project.toml b/Project.toml
new file mode 100644
index 0000000..69c38e4
--- /dev/null
+++ b/Project.toml
@@ -0,0 +1,39 @@
+name = "SwitchOnSafety"
+uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f"
+
+[deps]
+Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
+DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
+FillArrays = "1a297f60-69ca-5386-bcde-b61e274b549b"
+GraphPlot = "a2cc645c-3eea-5389-862e-a155d0052231"
+HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
+JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
+LightGraphs = "093fc24a-ae57-5d10-9952-331d41423f4d"
+LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
+MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
+MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
+MultivariateMoments = "f4abf1af-0426-5881-a0da-e2f168889b5e"
+MultivariatePolynomials = "102ac46a-7ee4-5c85-9060-abc95bfdeaa3"
+Optim = "429524aa-4258-5aef-a3af-852621145aeb"
+Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
+RecipesBase = "3cdcf5f2-1ef4-517c-9805-6587b60abb01"
+Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
+SemialgebraicSets = "8e049039-38e8-557d-ae3a-bc521ccf6204"
+SetProg = "fc078b4a-c1ae-5945-9d19-22107d1bf3e1"
+SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
+StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
+Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
+SumOfSquares = "4b9e565b-77fc-50a5-a571-1244f986bda1"
+
+[compat]
+HybridSystems = "≥ 0.1.1"
+JuMP = "0.19"
+julia = "1"
+
+[extras]
+CSDP = "0a46da34-8e4b-519e-b418-48813639ff34"
+LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+
+[targets]
+test = ["LinearAlgebra", "Test", "CSDP"]
diff --git a/REQUIRE b/REQUIRE
deleted file mode 100644
index 89eedb3..0000000
--- a/REQUIRE
+++ /dev/null
@@ -1,21 +0,0 @@
-julia 1.1
-Combinatorics
-MathOptInterface
-JuMP 0.19
-SumOfSquares
-MultivariatePolynomials
-SemialgebraicSets
-MultivariateMoments
-DynamicPolynomials
-MathematicalSystems
-FillArrays
-HybridSystems 0.1.1
-Optim
-LightGraphs
-GraphPlot
-RecipesBase
-Polyhedra
-Compat v0.69
-StaticArrays
-Reexport
-SetProg
diff --git a/test/REQUIRE b/test/REQUIRE
deleted file mode 100644
index 808c334..0000000
--- a/test/REQUIRE
+++ /dev/null
@@ -1 +0,0 @@
-CSDP