Re: OPTIONS_GHC -auto-all

2006-12-04 Thread Malcolm Wallace
Serge D. Mechveliani [EMAIL PROTECTED] wrote: {-# OPTIONS_GHC -fglasgow-ext -prof -auto-all #-} LemmaSearch.hs: unknown flags in {-# OPTIONS #-} pragma: -fglasgow-ext -prof -auto-all You have spelled the first option wrongly: should be -fglasgow-exts. Regards, Malcolm

OPTIONS_GHC -auto-all

2006-12-04 Thread Serge D. Mechveliani
In my previous letter I wrote about {-# OPTIONS_GHC -fglasgow-ext -prof -auto-all #-} in ghc-6.6. Now, I improve the typo and enter {-# OPTIONS_GHC -fglasgow-exts -prof -auto-all #-} in order to force -auto-all for a certain particular module. It still reports make build

RE: OPTIONS_GHC -auto-all

2006-12-04 Thread Bayley, Alistair
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Serge D. Mechveliani Now, I improve the typo and enter {-# OPTIONS_GHC -fglasgow-exts -prof -auto-all #-} in order to force -auto-all for a certain particular module. It still reports LemmaSearch.hs:

Re: OPTIONS_GHC -auto-all

2006-12-04 Thread Lemmih
On 12/4/06, Serge D. Mechveliani [EMAIL PROTECTED] wrote: In my previous letter I wrote about {-# OPTIONS_GHC -fglasgow-ext -prof -auto-all #-} in ghc-6.6. Now, I improve the typo and enter {-# OPTIONS_GHC -fglasgow-exts -prof -auto-all #-} in order to force -auto-all for a certain

Re: OPTIONS_GHC -auto-all

2006-12-04 Thread Serge D. Mechveliani
I see, thank you. {-# OPTIONS_GHC -fglasgow-exts -prof -auto-all #-} in order to force -auto-all for a certain particular module. It still reports unknown flags in {-# OPTIONS #-} pragma: -prof -auto-all -prof and -auto-all are static flags. They cannot be turned on after GHC

OPTIONS_GHC -auto-all

2006-12-02 Thread Serge D. Mechveliani
Dear GHC developers, Can you, please tell me how to add -prof -auto-all as dynamic option for a chosen source module? This is in ghc-6.6. I `make' my large program (of many modules) via Cabal, under -prof. The Main module contains the test example main. `main' calls for