diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-07-10 06:32:47 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-07-10 06:32:47 +0200 |
commit | 85e64d3b4cc5383e3a4b98f7107ff346d534340f (patch) | |
tree | 706ac3cc529b31960525af345ab659c03ec01d3c /dist/travis/build.sh | |
parent | 8d7b1e86851c45778d316fc174eef15a1a34af49 (diff) | |
download | ghdl-85e64d3b4cc5383e3a4b98f7107ff346d534340f.tar.gz ghdl-85e64d3b4cc5383e3a4b98f7107ff346d534340f.tar.bz2 ghdl-85e64d3b4cc5383e3a4b98f7107ff346d534340f.zip |
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
Diffstat (limited to 'dist/travis/build.sh')
-rwxr-xr-x | dist/travis/build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
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" |