From 86ea3883d9b7c83d903ebd59e2af916744fc0e6f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 15 Aug 2019 05:50:47 +0200
Subject: configure: complete --help

---
 configure | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 306de394b..bf1a9c880 100755
--- a/configure
+++ b/configure
@@ -136,6 +136,8 @@ Options [defaults in brackets]:
 	--disable-checks            disable internal checks
 	--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
 EOF
 	exit 0
 fi
-- 
cgit v1.2.3