From 720e7e5eb31d978ccddcd35ad0267eafef17f383 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 27 Oct 2019 21:44:44 +0100
Subject: ghdlsynth: add -de option.

---
 src/ghdldrv/ghdlsynth.adb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb
index 4c6ef996f..4a0ec0599 100644
--- a/src/ghdldrv/ghdlsynth.adb
+++ b/src/ghdldrv/ghdlsynth.adb
@@ -111,6 +111,9 @@ package body Ghdlsynth is
       elsif Option = "-dm" then
          Flag_Debug_Nomemory := True;
          Res := Option_Ok;
+      elsif Option = "-de" then
+         Flag_Debug_Noexpand := True;
+         Res := Option_Ok;
       else
          Decode_Option (Command_Lib (Cmd), Option, Arg, Res);
       end if;
-- 
cgit v1.2.3