diff options
-rw-r--r-- | dht-client.cabal | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/dht-client.cabal b/dht-client.cabal index 3da1a372..0124321a 100644 --- a/dht-client.cabal +++ b/dht-client.cabal | |||
@@ -36,10 +36,6 @@ source-repository this | |||
36 | branch: master | 36 | branch: master |
37 | tag: v0.0.0.4 | 37 | tag: v0.0.0.4 |
38 | 38 | ||
39 | flag prof | ||
40 | description: Enable profiling options | ||
41 | default: False | ||
42 | |||
43 | flag network-uri | 39 | flag network-uri |
44 | description: Use network-uri package. | 40 | description: Use network-uri package. |
45 | default: True | 41 | default: True |
@@ -305,10 +301,8 @@ executable dhtd | |||
305 | build-depends: time | 301 | build-depends: time |
306 | cpp-options: -DTHREAD_DEBUG -DRENDERFLUSH | 302 | cpp-options: -DTHREAD_DEBUG -DRENDERFLUSH |
307 | 303 | ||
308 | if flag(prof) | 304 | ghc-options: -rtsopts -fdefer-typed-holes -threaded |
309 | ghc-options: -g -prof -rtsopts -fdefer-typed-holes -threaded | 305 | ghc-prof-options: -g |
310 | else | ||
311 | ghc-options: -rtsopts -fdefer-typed-holes -threaded | ||
312 | 306 | ||
313 | executable testcookie | 307 | executable testcookie |
314 | buildable: False | 308 | buildable: False |