From 1a9c6c77cf9d4de6cd261125917eec2bd658d76c Mon Sep 17 00:00:00 2001 From: Son Ho Date: Tue, 23 Nov 2021 09:24:54 +0100 Subject: Activate exception backtrace --- src/dune | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) (limited to 'src/dune') diff --git a/src/dune b/src/dune index f4f7152e..2d03b3f6 100644 --- a/src/dune +++ b/src/dune @@ -1,3 +1,17 @@ (executable (name main) - (libraries yojson zarith)) \ No newline at end of file + (libraries yojson zarith)) + +(env + (dev (flags + :standard + -safe-string + -g + -w -8-9-11-33-20-21-26-27-39 + )) + (release (flags + :standard + -safe-string + -g + -w -8-9-11-33-20-21-26-27-39 + ))) -- cgit v1.2.3