logo       

profiling in Cabal in 6.4.1-aug-1: msg#00029

lang.haskell.glasgow.bugs

Subject: profiling in Cabal in 6.4.1-aug-1

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.Test" "Dumatel.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
mechvel@xxxxxxxx


<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise