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
[EMAIL PROTECTED]
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
