summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Wildemann <metalstrolch@users.noreply.github.com>2019-10-01 09:15:42 +0200
committerGitHub <noreply@github.com>2019-10-01 09:15:42 +0200
commit7b4c8877aceec093c5fca9c7ad040b6eecc8059f (patch)
treeecb74375b2642cdc5fdd0460168c2a48e6198540
parentac49d27070486ee946bda65daefae1d79e4eb827 (diff)
downloadnavit-7b4c8877aceec093c5fca9c7ad040b6eecc8059f.tar.gz
fix:circleci: do not download build environment for sanity check (#891)
and reenable xml lint for all configurations shipped.
-rw-r--r--.circleci/config.yml2
-rw-r--r--navit/navit.dtd12
-rwxr-xr-xscripts/ci_sanity_checks.sh2
-rw-r--r--scripts/setup_sanitycheck_requirements.sh4
4 files changed, 17 insertions, 3 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index b4fef97e0..f89d922c0 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -9,7 +9,7 @@ jobs:
- checkout
- run:
name: Setup requirements
- command: bash scripts/setup_common_requirements.sh
+ command: bash scripts/setup_sanitycheck_requirements.sh
- run:
name: run sanity check script
command: bash scripts/ci_sanity_checks.sh
diff --git a/navit/navit.dtd b/navit/navit.dtd
index 645816a93..6ab800b96 100644
--- a/navit/navit.dtd
+++ b/navit/navit.dtd
@@ -17,13 +17,14 @@
<!ATTLIST log flush_size CDATA #IMPLIED>
<!ATTLIST log flush_time CDATA #IMPLIED>
<!ATTLIST log attr_types CDATA #IMPLIED>
-<!ELEMENT navit (graphics,gui+,log*,osd*,traffic*,vehicle*,tracking?,vehicleprofile*,route,navigation,speech,mapset+,layer+,layout+) >
+<!ELEMENT navit (graphics,gui+,log*,osd*,traffic*,vehicle*,tracking?,vehicleprofile*,route,navigation,speech,mapset+,layer+,xi:include+,layout+) >
<!ATTLIST navit center CDATA #REQUIRED>
<!ATTLIST navit zoom CDATA #REQUIRED>
<!ATTLIST navit tracking CDATA #REQUIRED>
<!ATTLIST navit orientation CDATA #REQUIRED>
<!ATTLIST navit recent_dest CDATA #IMPLIED>
<!ATTLIST navit drag_bitmap CDATA #IMPLIED>
+<!ATTLIST navit default_layout CDATA #IMPLIED>
<!ELEMENT gui ANY>
<!ATTLIST gui type CDATA #REQUIRED>
<!ATTLIST gui menubar CDATA #IMPLIED>
@@ -107,6 +108,10 @@
<!ATTLIST layout font CDATA #IMPLIED>
<!ATTLIST layout daylayout CDATA #IMPLIED>
<!ATTLIST layout nightlayout CDATA #IMPLIED>
+<!ATTLIST layout icon_w CDATA #IMPLIED>
+<!ATTLIST layout icon_h CDATA #IMPLIED>
+<!ATTLIST layout underground_alpha CDATA #IMPLIED>
+<!ATTLIST layout xmlns:xi CDATA #IMPLIED>
<!ELEMENT layer (itemgra*)>
<!ATTLIST layer enabled CDATA #IMPLIED>
<!ATTLIST layer name CDATA #IMPLIED>
@@ -127,22 +132,26 @@
<!ATTLIST itemgra speed_range CDATA #IMPLIED>
<!ELEMENT polygon (coord*)>
<!ATTLIST polygon color CDATA #REQUIRED>
+<!ATTLIST polygon oneway CDATA #IMPLIED>
<!ELEMENT polyline (coord*)>
<!ATTLIST polyline color CDATA #REQUIRED>
<!ATTLIST polyline width CDATA #IMPLIED>
<!ATTLIST polyline dash CDATA #IMPLIED>
<!ATTLIST polyline offset CDATA #IMPLIED>
<!ATTLIST polyline radius CDATA #IMPLIED>
+<!ATTLIST polyline oneway CDATA #IMPLIED>
<!ELEMENT text EMPTY>
<!ATTLIST text text_size CDATA #REQUIRED>
<!ATTLIST text color CDATA #IMPLIED>
<!ATTLIST text background_color CDATA #IMPLIED>
+<!ATTLIST text oneway CDATA #IMPLIED>
<!ELEMENT circle (coord*)>
<!ATTLIST circle color CDATA #REQUIRED>
<!ATTLIST circle radius CDATA #REQUIRED>
<!ATTLIST circle width CDATA #IMPLIED>
<!ATTLIST circle text_size CDATA #IMPLIED>
<!ATTLIST circle background_color CDATA #IMPLIED>
+<!ATTLIST circle oneway CDATA #IMPLIED>
<!ELEMENT icon EMPTY>
<!ATTLIST icon src CDATA #REQUIRED>
<!ATTLIST icon w CDATA #IMPLIED>
@@ -152,6 +161,7 @@
<!ELEMENT arrows EMPTY>
<!ATTLIST arrows color CDATA #REQUIRED>
<!ATTLIST arrows width CDATA #IMPLIED>
+<!ATTLIST arrows oneway CDATA #IMPLIED>
<!ELEMENT image EMPTY>
<!ELEMENT xi:include EMPTY>
<!ATTLIST xi:include href CDATA #IMPLIED>
diff --git a/scripts/ci_sanity_checks.sh b/scripts/ci_sanity_checks.sh
index e8cac4787..33d05263c 100755
--- a/scripts/ci_sanity_checks.sh
+++ b/scripts/ci_sanity_checks.sh
@@ -52,7 +52,7 @@ for f in $(git diff --name-only ${interval} | sort -u); do
check_diff
fi
- if [[ "${f}" == "navit/navit_shipped.xml" ]]; then
+ if [[ "${f: -11}" == "shipped.xml" ]]; then
echo "[INFO] Checking for compliance with the DTD using xmllint on ${f}..."
xmllint --noout --dtdvalid navit/navit.dtd "$f"
rc=$?
diff --git a/scripts/setup_sanitycheck_requirements.sh b/scripts/setup_sanitycheck_requirements.sh
new file mode 100644
index 000000000..263669a7c
--- /dev/null
+++ b/scripts/setup_sanitycheck_requirements.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+set -e
+
+apt-get update && apt-get install -y git astyle libxml2-utils file