diff options
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" |