From 27a8e27381423053140a3ecc20ebb72b1c904388 Mon Sep 17 00:00:00 2001
From: Alessandro Comodi <acomodi@antmicro.com>
Date: Wed, 1 Apr 2020 19:35:55 +0200
Subject: [PATCH] run htmlgen in Travis CI

Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
---
 .travis.yml        |  3 +++
 Makefile           |  8 ++++++++
 htmlgen/htmlgen.sh | 14 ++++++++++++++
 3 files changed, 25 insertions(+)
 create mode 100755 htmlgen/htmlgen.sh

diff --git a/.travis.yml b/.travis.yml
index 75ba367a..60eac812 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,3 +32,6 @@ jobs:
       script:
         - make format
         - test $(git status --porcelain | wc -l) -eq 0 || { git diff; false; }
+
+    - name: "HTML generation"
+      script: make test-htmlgen
diff --git a/Makefile b/Makefile
index 99655453..0bb82679 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,14 @@ test-cpp:
 
 .PHONY: test test-py test-cpp
 
+# Run HTML test
+# ------------------------
+
+test-htmlgen:
+	cd htmlgen && source htmlgen.sh
+
+.PHONY: test-htmlgen
+
 # Auto formatting of code.
 # ------------------------
 FORMAT_EXCLUDE = $(foreach x,$(ALL_EXCLUDE),-and -not -path './$(x)/*') -and -not -name *.bit
diff --git a/htmlgen/htmlgen.sh b/htmlgen/htmlgen.sh
new file mode 100755
index 00000000..ad4a9cc8
--- /dev/null
+++ b/htmlgen/htmlgen.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+SETTINGS=../settings/*
+
+for setting in $SETTINGS
+do
+    echo ""
+    echo "============================================="
+    echo "Generating HTML for ${setting%.sh}"
+    echo "============================================="
+    echo ""
+    source ../settings/$setting
+    ./htmlgen.py
+done