diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-16 08:35:38 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-16 13:53:13 +0100 |
| commit | e5c609f31d485dcb5796103d5b8b0cf332960070 (patch) | |
| tree | 40aae76e24c05da8aad0f93d63d72fe5b6cdee0d /scripts | |
| parent | 173171d2b31111452446c6ee3e4ee21768cf41cf (diff) | |
| download | ghdl-e5c609f31d485dcb5796103d5b8b0cf332960070.tar.gz ghdl-e5c609f31d485dcb5796103d5b8b0cf332960070.tar.bz2 ghdl-e5c609f31d485dcb5796103d5b8b0cf332960070.zip | |
libraries: unuse 'openieee', rename enable_openieee to enable_gplcompat
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci-run.sh | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/scripts/ci-run.sh b/scripts/ci-run.sh index cee5d05e2..049cae510 100755 --- a/scripts/ci-run.sh +++ b/scripts/ci-run.sh @@ -88,11 +88,11 @@ ISSYNTH=true for arg in "$@"; do shift case "$arg" in - "--color"|"-color") set -- "$@" "-c";; - "--backend"|"-backend") set -- "$@" "-b";; - "--pkg"|"-pkg") set -- "$@" "-p";; - "--gpl"|"-gpl") set -- "$@" "-g";; - "--no-synth"|"-no-synth") set -- "$@" "-s";; + "--color"|"-color") set -- "$@" "-c";; + "--backend"|"-backend") set -- "$@" "-b";; + "--pkg"|"-pkg") set -- "$@" "-p";; + "--gplcompat"|"-gplcompat") set -- "$@" "-g";; + "--no-synth"|"-no-synth") set -- "$@" "-s";; *) set -- "$@" "$arg" esac done @@ -192,9 +192,9 @@ buildCmdOpts () { BUILD_CMD_OPTS="$ENABLECOLOR -b $DBACK" if [ "x$ISGPL" = "xtrue" ]; then - BUILD_CMD_OPTS="$BUILD_CMD_OPTS --gpl" - PKG_NAME="${PKG_NAME}-gpl" - DEXT="-gpl" + BUILD_CMD_OPTS="$BUILD_CMD_OPTS --gplcompat" + PKG_NAME="${PKG_NAME}-gplcompat" + DEXT="-gplcompat" fi export BUILD_CMD_OPTS="${BUILD_CMD_OPTS} -p $PKG_NAME" @@ -238,6 +238,7 @@ build () { mkdir "$GPLDIR" cp -pdrl $files "$GPLDIR" tar -zcf "${GPLDIR}.tgz" "$GPLDIR" + CONFIG_OPTS+=' --enable-gplcompat' gend fi |