new cabal flag prof, for profiling

1 files changed, 9 insertions, 1 deletions

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