diff options
| author | sharkcz <dan@danny.cz> | 2019-09-23 19:58:13 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-09-23 19:58:13 +0200 |
| commit | 4ec17bb58394a6c03c8a4ac938e4a674a5f33e79 (patch) | |
| tree | fab91c56d73671b7120bc9878978141124684dcb /configure | |
| parent | 6558eaedc8fa11346b251fa197a286da74e656e0 (diff) | |
| download | ghdl-4ec17bb58394a6c03c8a4ac938e4a674a5f33e79.tar.gz ghdl-4ec17bb58394a6c03c8a4ac938e4a674a5f33e79.tar.bz2 ghdl-4ec17bb58394a6c03c8a4ac938e4a674a5f33e79.zip | |
enable llvm9 (#935)
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -275,6 +275,7 @@ if test $backend = llvm; then check_version 6.0 $llvm_version || check_version 7.0 $llvm_version || check_version 8.0 $llvm_version || + check_version 9.0 $llvm_version || false; then echo "Debugging is not enabled with llvm $llvm_version" llvm_be=llvm4-nodebug |