1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 7ae1b6a63..307132d85 100755
--- a/configure
+++ b/configure
@@ -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