Linking stage 2 compiler with non-threaded RTS using Make?

[Ömer Sinan Ağacan]

I just realized that the wiki page for ticky profiling [1] suggests using
`GhcThreaded = NO` becuase ticky profiling is not compatible with threaded
runtime.

I think this suggests that `GhcThreaded = NO` used to work. It doesn't work
anymore.

Ömer

[1]: https://gitlab.haskell.org/ghc/ghc/wikis/debugging/ticky-ticky

Ömer Sinan Ağacan <omeragacan at gmail.com>, 15 Oca 2020 Çar, 14:11
tarihinde şunu yazdı:
>
> Btw I just realized that this also makes ticky-ticky profiling harder becuase as
> far as I know ticky profiling not compatible with threaded runtime. I need to
> try ticky profiling for !1747 and I'm currently painfully manually linking the
> stage 2 executable using the method I described in my original email.
>
> Ömer
>
> Brandon Allbery <allbery.b at gmail.com>, 9 Oca 2020 Per, 18:10 tarihinde
> şunu yazdı:
> >
> > There are some hidden dependencies, in particular ghci requires GhcThreaded last I checked (and ghci == ghc --interactive, not a separate program that could be linked threaded). You may also have to disable the entire bytecode backend, which would take TH and runghc with it as well as ghci.
> >
> > On Thu, Jan 9, 2020 at 8:02 AM Ömer Sinan Ağacan <omeragacan at gmail.com> wrote:
> >>
> >> Anyone know how to link stage 2 with non-threaded RTS using Make build system?
> >> There's a variable GhcThreaded, but setting it "NO" makes no difference, stage 2
> >> compiler is still threaded.
> >>
> >> So far the only way I could find is to redirect build system output to a file,
> >> find the step that linked ghc-stage2, repeat that command but without -threaded.
> >> It's really painful as I have to repeat this step after every rebuild.
> >>
> >> Any tips?
> >>
> >> Thanks,
> >>
> >> Ömer
> >> _______________________________________________
> >> ghc-devs mailing list
> >> ghc-devs at haskell.org
> >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> >
> >
> >
> > --
> > brandon s allbery kf8nh
> > allbery.b at gmail.com