diff options
author | James Crayne <jim.crayne@gmail.com> | 2018-06-24 04:40:15 +0000 |
---|---|---|
committer | James Crayne <jim.crayne@gmail.com> | 2018-06-24 04:40:15 +0000 |
commit | c4cc2eb6e159101e4d03d9582a55a5dc0dff50da (patch) | |
tree | 5bbb07ed4dfbafd9f32b9fe25cd5a49c33fdeaaa /dht-client.cabal | |
parent | b88601d78aeae15c75aa584afa51d1666595b7d8 (diff) |
new cabal flag prof, for profiling
Diffstat (limited to 'dht-client.cabal')
-rw-r--r-- | dht-client.cabal | 10 |
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 | |||
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 | |||
39 | flag network-uri | 43 | flag network-uri |
40 | description: Use network-uri package. | 44 | description: Use network-uri package. |
41 | default: True | 45 | default: True |
@@ -300,7 +304,11 @@ executable dhtd | |||
300 | if flag(thread-debug) | 304 | if flag(thread-debug) |
301 | build-depends: time | 305 | build-depends: time |
302 | cpp-options: -DTHREAD_DEBUG -DRENDERFLUSH | 306 | cpp-options: -DTHREAD_DEBUG -DRENDERFLUSH |
303 | ghc-options: -g -prof -rtsopts -fdefer-typed-holes -threaded | 307 | |
308 | if flag(prof) | ||
309 | ghc-options: -g -prof -rtsopts -fdefer-typed-holes -threaded | ||
310 | else | ||
311 | ghc-options: -rtsopts -fdefer-typed-holes -threaded | ||
304 | 312 | ||
305 | executable testcookie | 313 | executable testcookie |
306 | buildable: False | 314 | buildable: False |