David Plume writes:
>
> > >
> > > The compiler doesn't appear to link programs compiled with the
> > > -prof -auto options if the -O flag is set.
> > >
> >
> > Hi,
> >
> > profiling optimised programs is legal - what's the linker errors
> > you're getting?
>
> I've attached the output of the make process and a copy of my rather
> obscure makefile.
>
Thanks, this was readily reproduceable. The appended 3.01 source patch
should fix it..
--Sigbjorn
*** profiling/CostCentre.lhs 1998/02/09 12:53:44 1.18
--- profiling/CostCentre.lhs 1998/02/26 13:29:01
***************
*** 386,394 ****
module_kind = do_caf is_caf (moduleString mod_name ++ '/':
basic_kind)
! grp_str = if (_NULL_ grp_name) then mod_name else grp_name
! full_kind = do_caf is_caf
! (moduleString mod_name ++
! ('/' : _UNPK_ grp_str) ++
! ('/' : basic_kind))
in
if (friendly_sty sty) then
--- 386,401 ----
module_kind = do_caf is_caf (moduleString mod_name ++ '/':
basic_kind)
! grp_str = []
! {- TODO: re-instate this once interface file lexer
! handles groups.
! grp_str =
! if (_NULL_ grp_name) then
! []
! else
! '/' : (_UNPK_ grp_name)
! -}
! full_kind = do_caf is_caf
! (moduleString mod_name ++
! grp_str ++ ('/' : basic_kind))
in
if (friendly_sty sty) then
***************
*** 407,412 ****
do_kind (UserCC name) = _UNPK_ name
! do_kind (AutoCC id) = do_id id ++ (if (friendly_sty sty) then "/AUTO" else
"")
! do_kind (DictCC id) = do_id id ++ (if (friendly_sty sty) then "/DICT" else
"")
{-
--- 414,419 ----
do_kind (UserCC name) = _UNPK_ name
! do_kind (AutoCC id) = do_id id ++ (if (debugStyle sty) then "/AUTO" else "")
! do_kind (DictCC id) = do_id id ++ (if (debugStyle sty) then "/DICT" else "")
{-
