7.8 Release Update
austin at well-typed.com
Thu Sep 12 22:18:05 CEST 2013
I think this can definitely be clarified. I'll update the docs a
little later today when I get a chance.
On Thu, Sep 12, 2013 at 1:35 PM, Simon Peyton-Jones
<simonpj at microsoft.com> wrote:
> Is this something that could be clarified in GHC's documentation? Patch?
> | -----Original Message-----
> | From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Kazu
> | Yamamoto
> | Sent: 12 September 2013 04:43
> | To: glasgow-haskell-users at haskell.org; ghc-devs at haskell.org
> | Subject: Re: 7.8 Release Update
> | Hi,
> | Now I understand what is right and why I misunderstood.
> | - GHC 7.8 provides three kinds of libraries:
> | - static libraries
> | - dynamic libraries
> | - static libraries for profiling
> | - GHCi uses dynamic libraries.
> | - Programs complied with GHC 7.8 use static libraries.
> | - When a library package is complied, both static one and dynamic
> | one are created.
> | - When "-p" or "--enabling-executable-profiling" are specified to
> | cabal, static libraries for profiling are also created and used.
> | So, we don't have to specify "--enable-shared"/"--disable-shared" to
> | cabal in normal situation.
> | There is no bug. Just I misunderstood.
> | * Why did I misunderstand that programs are linked dynamically?
> | I tried to support GHC 7.8 for doctest. Doctest uses GHCi internally.
> | At the beginning, doctest cannot pass many tests if "--enable-shared"
> | is not specified. This was fixed:
> | https://github.com/sol/doctest-haskell/issues/58
> | Now, "--enable-shared" is not necessary even for doctest.
> | * Why did I misunderstand that compiling programs for profiling fails?
> | I specified --ghc-options="-prof -fprof-auto". "-prof" lets GHC 7.8
> | to produce both static and dynamic libraries for profiling. This
> | resulted in build failure.
> | Right procedure for profiling are:
> | % cabal install -p --enable-executable-profiling --ghc-options="-fprof-auto" -j3
> | or
> | % cabal install -p --ghc-options="-fprof-auto" --only-dependencies -j3
> | % cabal configure --enable-executable-profiling
> | % cabal build
> | --Kazu
> | > On 09/09/13 08:14, Edward Z. Yang wrote:
> | >> Excerpts from Kazu Yamamoto (山本和彦)'s message of Sun Sep 08
> | >> 19:36:19 -0700 2013:
> | >>> ----
> | >>> % make show VALUE=GhcLibWays
> | >>> make -r --no-print-directory -f ghc.mk show
> | >>> GhcLibWays="v p dyn"
> | >>> ----
> | >>
> | >> Yes, it looks like you are missing p_dyn from this list. I think
> | >> this is a bug in the build system. When I look at ghc.mk
> | >> it only verifies that the p way is present, not p_dyn; and I don't
> | >> see any knobs which turn on p_dyn.
> | >>
> | >> However, I must admit to being a little confused; didn't we abandon
> | >> dynamic by default and switch to only using dynamic for GHCi (in which
> | >> case the profiling libraries ought not to matter)?
> | >
> | > I think Kazu is saying that when he builds something with profiling
> | > using cabal-install, it fails because cabal-install tries to build a
> | > dynamic version too. We don't want dyanmic/profiled libraries
> | > (there's no point, you can't load them into GHCi). Perhaps this is
> | > something that needs fixing in cabal-install?
> | >
> | > Cheers,
> | > Simon
> | >
> | _______________________________________________
> | ghc-devs mailing list
> | ghc-devs at haskell.org
> | http://www.haskell.org/mailman/listinfo/ghc-devs
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
Austin Seipp, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/
More information about the Glasgow-haskell-users