<div dir="ltr"><div>You pass `--enable-library-profiling` to `cabal`. To make libraries install with profiling</div><div>by default you can add `library-profiling: True` to `~/.cabal/config`.</div><div><br></div><div>There are some issues with the new way cabal works and compiling Agda programs</div><div>(see <a href="https://github.com/agda/agda/issues/4627">https://github.com/agda/agda/issues/4627</a>), so I would try</div><div><br></div><div>   cabal v1-install ieee754 --enable-library-profiling<br></div><div><br></div><div>/ Ulf<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jan 31, 2021 at 10:23 PM <<a href="mailto:mechvel@scico.botik.ru">mechvel@scico.botik.ru</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2021-01-29 09:05, Ulf Norell wrote:<br>
> Hi Sergei,<br>
> <br>
> Agda compiles via Haskell so you can use all the Haskell profiling<br>
> tools on the code generated by Agda.<br>
<br>
<br>
I tried<br>
   > agda -c $agdaLibOpt --ghc-flag=-prof Foo.agda<br>
<br>
, where "-prof" is a flag for compiling with profiling by  ghc (8.8.3).<br>
It reports<br>
<br>
  Compiling MAlonzo.RTE      ( MAlonzo/RTE.hs, MAlonzo/RTE.o )<br>
  ...<br>
  MAlonzo/RTE.hs:9:1: error:<br>
    Could not find module ‘Numeric.IEEE’<br>
    Perhaps you haven't installed the profiling libraries for package <br>
‘ieee754-0.8.0’?<br>
<br>
Need I to download the package  ieee754-0.8.0.tar.gz  for Haskell and <br>
somehow<br>
`make' it with profiling?<br>
There are the files  ieee754.cabal and Setup.lhs.<br>
Need I to do<br>
    > cabal install<br>
?<br>
How to specify "with profiling"?<br>
May be to set somewhere to  Setup.lhs  "-enable-library-profiling" ?<br>
<br>
(it may occur hundreds of packages that may need to rebuild with <br>
profiling - ?).<br>
<br>
Thanks,<br>
<br>
------<br>
Sergei<br>
</blockquote></div>