diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-01-12 18:47:36 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-01-12 18:47:36 +0100 |
commit | 7edcbcf55bddbe4dcc9ae752a89bdbb7dba6cf0d (patch) | |
tree | c441c6d6fabc7f66c0fff13841d43235d4554595 /configure | |
parent | d4a943377eaad3114b37e494524434ad0f1c85ea (diff) | |
download | ghdl-7edcbcf55bddbe4dcc9ae752a89bdbb7dba6cf0d.tar.gz ghdl-7edcbcf55bddbe4dcc9ae752a89bdbb7dba6cf0d.tar.bz2 ghdl-7edcbcf55bddbe4dcc9ae752a89bdbb7dba6cf0d.zip |
configure: allow options in --with-llvm-config.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -255,7 +255,10 @@ fi # For llvm backend, check llvm-config if test $backend = llvm; then - llvm_version=`"$llvm_config" --version 2>/dev/null` + # No quotes for llvm_config, so that options (like --link-static) can be + # added. As a consequence, spaces in --with-llvm-config= are not allowed + # for the path. + llvm_version=`$llvm_config --version 2>/dev/null` if [ $? != 0 ]; then echo "cannot run $llvm_config" exit 1 |