From c4cc2eb6e159101e4d03d9582a55a5dc0dff50da Mon Sep 17 00:00:00 2001
From: James Crayne <jim.crayne@gmail.com>
Date: Sun, 24 Jun 2018 04:40:15 +0000
Subject: new cabal flag prof, for profiling

---
 dht-client.cabal | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'dht-client.cabal')

diff --git a/dht-client.cabal b/dht-client.cabal
index a389a6e3..3da1a372 100644
--- a/dht-client.cabal
+++ b/dht-client.cabal
@@ -36,6 +36,10 @@ source-repository this
   branch:              master
   tag:                 v0.0.0.4
 
+flag prof
+  description: Enable profiling options
+  default: False
+
 flag network-uri
   description:         Use network-uri package.
   default:             True
@@ -300,7 +304,11 @@ executable dhtd
   if flag(thread-debug)
     build-depends: time
     cpp-options:   -DTHREAD_DEBUG -DRENDERFLUSH
-  ghc-options:       -g -prof  -rtsopts  -fdefer-typed-holes -threaded
+
+  if flag(prof)
+    ghc-options:       -g -prof  -rtsopts  -fdefer-typed-holes -threaded
+  else
+    ghc-options:       -rtsopts  -fdefer-typed-holes -threaded
 
 executable testcookie
   buildable:           False
-- 
cgit v1.2.3