profiling in Cabal in 6.4.1-aug-1

2005-08-04 Thread Serge D. Mechveliani 
Dear GHC developers,

I have `made'  ghc-6.4.1.20050801  

by its binary, on Linux Debian, and tested on DoCon and Dumatel 
application.
The first `make' crashed (I do not know, maybe, indeed, a hardware
fail). The second (by new) succeeded.

It looks all right -- except `making' with profiling.

Without profiling, it `makes' and installs.
For profiling,  dm.cabal  adds 
  -prof -auto-all -hisuf p_hi -osuf p_o
to its options.
The commands
runhaskell Setup configure --ghc --prefix=$dmSource/inst 
runhaskell Setup build 

seem to work all right. Then,   runhaskell Setup install --user 
reports

  Installing: /home/mechvel/dm/1.03/dm/source/inst/lib/dumatel-1.3  
  /home/mechvel/dm/1.03/dm/source/inst/bin dumatel-1.3...
  Error: Could not find module: Dumatel with any suffix: [hi]

And the directory  $dmSource/dist/build/  contains
  Dumatel.p_hi, Dumatel.p_o
among its files.

dm.cabal  is 


name:dumatel
version: 1.3
build-depends:   data
exposed-modules:
  Dumatel Dumatel.Prelude Dumatel.Prelude5
  Dumatel.TermComp Dumatel.Reduce Dumatel.CritPair
  Dumatel.KBC Dumatel.Bool Dumatel.BTerm Dumatel.ReduceBT
  Dumatel.UKBB Dumatel.Prover
  Dumatel.DemoTest.TestDumatel.DemoTest.T_kbcTrad
  Dumatel.DemoTest.T_ukb   Dumatel.DemoTest.T_logicSimp
  Dumatel.DemoTest.T_nat   Dumatel.DemoTest.T_list
  .
other-modules:
  Prelude0 Prelude0_0 Prelude1 Prelude2 Prelude2_0 Prelude3
  Prelude3_0 Prelude3_1 Prelude4 Bool0 BTerm0 BTerm1 Prover0 Parse1
  Parse2 Parse3 Prover1 Prover2 Prover3
  Dumatel.DemoTest.Test0
  .
ghc-options:
  -fglasgow-exts -fallow-undecidable-instances
  -fallow-overlapping-instances -fno-warn-overlapping-patterns
  -fwarn-unused-binds -fwarn-unused-matches -fwarn-unused-imports
  -O
  -prof -auto-all -hisuf p_hi -osuf p_o
--


Who is in error, please, GHC or myself?

-
Serge Mechveliani
[EMAIL PROTECTED]
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

RE: profiling in Cabal in 6.4.1-aug-1

2005-08-04 Thread Simon Marlow 
On 04 August 2005 12:54, Serge D. Mechveliani wrote:

 I have `made'  ghc-6.4.1.20050801
 
 by its binary, on Linux Debian, and tested on DoCon and Dumatel
 application.
 The first `make' crashed (I do not know, maybe, indeed, a hardware
 fail). The second (by new) succeeded.
 
 It looks all right -- except `making' with profiling.
 
 Without profiling, it `makes' and installs.
 For profiling,  dm.cabal  adds
   -prof -auto-all -hisuf p_hi -osuf p_o
 to its options.
 The commands
 runhaskell Setup configure --ghc --prefix=$dmSource/inst
 runhaskell Setup build
 
 seem to work all right. Then,   runhaskell Setup install --user
 reports
 
   Installing: /home/mechvel/dm/1.03/dm/source/inst/lib/dumatel-1.3 
   /home/mechvel/dm/1.03/dm/source/inst/bin dumatel-1.3...
   Error: Could not find module: Dumatel with any suffix: [hi]
 
 And the directory  $dmSource/dist/build/  contains
   Dumatel.p_hi, Dumatel.p_o
 among its files.

Newer versions of Cabal have support for profiling.  I suggest you
upgrade Cabal independently: there's a downloadable pre-release version
available from http://www.haskell.org/cabal/.

Cheers,
Simon
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs