From caa5bf5c2a32e31f07209490a8933cfa186e9511 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 10 Apr 2020 07:50:42 +0200 Subject: Adjust help for --disable-synth. --- configure | 2 +- doc/getting/index.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/configure b/configure index c426abb7d..7e35d451b 100755 --- a/configure +++ b/configure @@ -137,7 +137,7 @@ Options [defaults in brackets]: --disable-libghdl do not build libghdl shared library --enable-openieee use gpl-compatible sources for ieee library --enable-libghdl also build the libghdl shared library - --enable-synth build with synthesis feature + --disable-synth do not build with synthesis feature EOF exit 0 fi diff --git a/doc/getting/index.rst b/doc/getting/index.rst index 591c4d95e..9ecde4fe7 100644 --- a/doc/getting/index.rst +++ b/doc/getting/index.rst @@ -20,7 +20,7 @@ page for further details. .. ATTENTION:: Since ``v0.37``, GHDL's synthesis features require GCC >=8.1, due to some new GNAT features which are not available in previous releases. Users with older versions (who don't need synthesis) - can configure GHDL with option ``--no-synth``. + can configure GHDL with option ``--disable-synth``. .. rubric :: Available back-ends -- cgit v1.2.3