From 85e64d3b4cc5383e3a4b98f7107ff346d534340f Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Wed, 10 Jul 2019 06:32:47 +0200
Subject: Add synth testsuite to CI (#862)

* add synth testsuite to CI

* update travis jobs to fedora29

* travis: add 'dummy' image name to man job

* travis: update Debian from Stretch to Buster

* update travis jobs to fedora30
---
 dist/travis/build.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'dist/travis/build.sh')

diff --git a/dist/travis/build.sh b/dist/travis/build.sh
index 58e8bfbfa..59438ff56 100755
--- a/dist/travis/build.sh
+++ b/dist/travis/build.sh
@@ -18,16 +18,18 @@ for arg in "$@"; do
       "--build"|"-build")   set -- "$@" "-b";;
       "--pkg"|"-pkg")       set -- "$@" "-p";;
       "--gpl"|"-gpl")       set -- "$@" "-g";;
+      "--synth"|"-synth")   set -- "$@" "-s";;
     *) set -- "$@" "$arg"
   esac
 done
 # Parse args
-while getopts ":b:p:cg" opt; do
+while getopts ":b:p:cgs" opt; do
   case $opt in
     c) enable_color;;
     b) BLD=$OPTARG ;;
     p) PKG_NAME=$OPTARG;;
     g) ISGPL=true;;
+    s) ISSYNTH=true;;
     \?) printf "$ANSI_RED[GHDL - build] Invalid option: -$OPTARG $ANSI_NOCOLOR\n" >&2
         exit 1 ;;
     :)  printf "$ANSI_RED[GHDL - build] Option -$OPTARG requires an argument. $ANSI_NOCOLOR\n" >&2
@@ -66,6 +68,10 @@ mkdir "$prefix"
 mkdir "build-$BLD"
 cd "build-$BLD"
 
+if [ "x$ISSYNTH" = "xtrue" ]; then
+  CONFIG_OPTS+=" --enable-synth"
+fi
+
 case "$BLD" in
     gcc*)
         travis_start "get_gcc" "$ANSI_YELLOW[GHDL] Get gcc sources $ANSI_NOCOLOR"
-- 
cgit v1.2.3