diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 1e6dae2e8..bd637d946 100755 --- a/debian/rules +++ b/debian/rules @@ -17,6 +17,9 @@ DEB_INSTALL_MANPAGES_pandoc = man/man1/*.1 debian/hsmarkdown.1 DEB_SETUP_GHC6_CONFIGURE_ARGS = -fhighlighting +# Use threaded RTS only when supported +DEB_SETUP_GHC6_CONFIGURE_ARGS += $(if $(wildcard /usr/lib/ghc-$(GHC6_VERSION)/libHSrts_thr.a),--flags=-threaded) + # Generate (and cleanup) files containing variables static per build infiles = $(filter-out debian/control.in, $(wildcard debian/*.in)) outfiles = $(basename $(infiles)) |