From f5d1a5f9741e8aa41e2c535220b61077d9ef256c Mon Sep 17 00:00:00 2001
From: Arthur Sonzogni <sonzogniarthur@gmail.com>
Date: Sun, 25 Mar 2018 15:24:24 +0200
Subject: [PATCH] Update tools.json with a new example.

---
 CMakeLists.txt |  6 +++++-
 src/tools.json | 45 +++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 50 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 8dae2dc..9c62431 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -58,7 +58,11 @@ function(ANTLR source)
 endfunction()
 
 # Build the ANTLR runtime.
-add_subdirectory(${CMAKE_SOURCE_DIR}/tools/antlr/cpp_runtime/ EXCLUDE_FROM_ALL)
+add_subdirectory(
+  ${CMAKE_SOURCE_DIR}/tools/antlr/cpp_runtime/
+  ${CMAKE_CURRENT_BINARY_DIR}/antlr
+  EXCLUDE_FROM_ALL
+)
 include_directories(${CMAKE_SOURCE_DIR}/tools/antlr/cpp_runtime/runtime/src)
 
 #-------------------------------------------------------------------------------
diff --git a/src/tools.json b/src/tools.json
index 0adf49e..02feb24 100644
--- a/src/tools.json
+++ b/src/tools.json
@@ -131,6 +131,51 @@
           "s -- z",
           "t -- z"
         ]
+      },
+      {
+        "title": "Earth states",
+        "content": [
+          "Earth -> Europe",
+          "Earth -> Asia",
+          "Earth -> Africa",
+          "Earth -> \"North America\"",
+          "Earth -> \"South America\"",
+          "Earth -> Antarctica",
+          "",
+          "Europe -> France",
+          "Europe -> Italy",
+          "Europe -> Spain",
+          "Europe -> Germany",
+          "Europe -> \"United Kingdom\"",
+          "",
+          "Asia -> China",
+          "Asia -> Japan",
+          "Asia -> India",
+          "Asia -> Pakistan",
+          "",
+          "Africa -> Egypt",
+          "Africa -> Algeria",
+          "Africa -> Namibia",
+          "Africa -> \"South Africa\"",
+          "Africa -> Niger",
+          "Africa -> Congo",
+          "Africa -> Madagascar",
+          "",
+          "",
+          "\"North America\" -> \"United States\"",
+          "\"North America\" -> Canada",
+          "\"North America\" -> Mexico",
+          "",
+          "\"South America\" -> Brasil",
+          "\"South America\" -> Argentina",
+          "\"South America\" -> Bolivia",
+          "\"South America\" -> Chile",
+          "\"South America\" -> Ecuador",
+          "\"South America\" -> Guyana",
+          "\"South America\" -> Peru",
+          "",
+          "Antarctica -> ???"
+        ]
       }
     ]
   },