diff options
author | Alp Mestanogullari <alp@well-typed.com> | 2018-09-11 20:45:43 +0200 |
---|---|---|
committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-09-11 21:58:57 +0200 |
commit | 5d67d069608f04b4c5eeee73b44bf27562adc5a3 (patch) | |
tree | 06eb585b154ac37b5b8e904c8cb6cb816159d44f /rts/rts.cabal.in | |
parent | 36740b4c346c619e31d24d6672caa6f4f7fea123 (diff) | |
download | haskell-5d67d069608f04b4c5eeee73b44bf27562adc5a3.tar.gz |
rts.cabal.in: advertise new default profiling ways for hadrian
Summary:
D5140 makes us build some new profiling ways by default, but since it
is not advertised in rts.cabal, hadrian doesn't know about that. This patch
fixes this and successfully lets hadrian build those flavours of libHSrts.
Test Plan: hadrian/build.sh --flavour=perf
Reviewers: bgamari, erikd, simonmar
Reviewed By: simonmar
Subscribers: rwbarton, carter
Differential Revision: https://phabricator.haskell.org/D5142
Diffstat (limited to 'rts/rts.cabal.in')
-rw-r--r-- | rts/rts.cabal.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rts/rts.cabal.in b/rts/rts.cabal.in index d509953a1b..e09c0548f7 100644 --- a/rts/rts.cabal.in +++ b/rts/rts.cabal.in @@ -51,14 +51,14 @@ library -- libCffi_thr libCffi_thr_debug libCffi_thr_l libCffi_thr_p extra-library-flavours: _debug _l _thr _thr_debug _thr_l - -- The make build system seems to be doing something "magic"/special + -- The make build system does something special in config.mk.in -- for generating profiled builds of those libraries, but we need to -- be transparent for hadrian which gets information about the rts -- "package" through Cabal and this cabal file. We therefore declare - -- two profiling-enabled flavours to be available when passing the + -- several profiling-enabled flavours to be available when passing the -- 'profiling' flag when configuring the RTS from hadrian, using Cabal. if flag(profiling) - extra-library-flavours: _p _thr_p + extra-library-flavours: _p _thr_p _debug_p _thr_debug_p exposed: True exposed-modules: |