logo       

RTS in package: msg#00015

lang.haskell.glasgow.bugs

Subject: RTS in package

Dear GHC developers,

ghc-6.4 seems to fail in processing the RTS options set in a package:

----------------------------------------
name: dumatel
version: 1.0.2.6.4
synopsis: term rewriting system and prover
description: term rewriting system and prover
build-depends: data
exposed-modules: DExport DPrelude Prelude5 TermComp Reduce
CritPair KBC Bool BTerm ReduceBT UKBB Prover
other-modules:
Prelude0 Prelude0_0 Prelude1 Prelude2 Prelude2_0 Prelude3
Prelude3_0 Prelude4 Bool0 BTerm0 BTerm1 Prover0 Parse1 Parse2
Parse3 Prover1 Prover2 Prover3
ghc-options:
-fglasgow-exts -fallow-undecidable-instances
-fallow-overlapping-instances -fno-warn-overlapping-patterns
-fwarn-unused-binds -fwarn-unused-matches -fwarn-unused-imports
-O -v
-RTS -M30m -RTS
------------------------------------------


Then, runghc Setup.hs build
yields

-------------------------------------------
Preprocessing library dumatel-1.0.2.6.4...
Building dumatel-1.0.2.6.4...
Glasgow Haskell Compiler, Version 6.4, for Haskell 98, compiled by GHC version
6.4
Using package config file: /usr/lib/ghc-6.4/package.conf
Using package config file: /home/mechvel/.ghc/i386-linux-6.4/package.conf
Hsc static flags: -static
*** Deleting temp files
Deleting:
ghc-6.4: unrecognised flags: -M30m
-------------------------------------


And ghc --make +RTS -M30m -RTS
does work.

Regards,

-----------------
Serge Mechveliani
mechvel@xxxxxxxx


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

News | FAQ | advertise