diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-03-01 20:53:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-01 20:53:18 +0100 |
commit | 5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f (patch) | |
tree | 7c1e496a1585401565accdbf59b4e16a84a5fd0e /configure | |
parent | a423981be5f226cd70429169c484814b2fd64752 (diff) | |
download | ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.tar.gz ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.tar.bz2 ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.zip |
enable synth by default (#1102)
* enable synth by default
* ci: disable synth for the GPL builds
* deprecate Ubuntu 16, use Ubuntu 18 in Travis
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -45,7 +45,7 @@ enable_werror=true enable_checks=true enable_openieee=unknown enable_libghdl=true -enable_synth=false +enable_synth=true default_pic=false EXEEXT= SOEXT=.so |