<div dir="ltr">If nothing like the predicate I want exists in Cabal I guess a custom flag would be next best option. I was hoping to keep it transparent to the user.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 8, 2017 at 10:29 PM, Ivan Lazar Miljenovic <span dir="ltr"><<a href="mailto:ivan.miljenovic@gmail.com" target="_blank">ivan.miljenovic@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">If this is just for local development, what about adding a new flag<br>
that is disabled by default but you can configure with locally?<br>
<div class="HOEnZb"><div class="h5"><br>
On 9 February 2017 at 15:21, aditya siram <<a href="mailto:aditya.siram@gmail.com">aditya.siram@gmail.com</a>> wrote:<br>
> I have ghc-options that are used to link with a static library when<br>
> building. But the same options don't work in GHCi where I need to the shared<br>
> version of the library. Currently when I do `stack repl ...` the static<br>
> library linking options are also passed to `ghc`.<br>
> -deech<br>
><br>
> On Wed, Feb 8, 2017 at 9:48 PM, Ivan Lazar Miljenovic<br>
> <<a href="mailto:ivan.miljenovic@gmail.com">ivan.miljenovic@gmail.com</a>> wrote:<br>
>><br>
>> On 9 February 2017 at 14:40, aditya siram <<a href="mailto:aditya.siram@gmail.com">aditya.siram@gmail.com</a>> wrote:<br>
>> > Hi all,<br>
>> > I was wondering if Cabal has a predicate which allows me to only enable<br>
>> > options when running GHCi. The use-case is I have a set of `ghc-options`<br>
>> > that I do *not* want enabled when I run `cabal repl` or `stack repl`.<br>
>><br>
>> If you're not using either of these, then what role does Cabal have to<br>
>> play if you open a file in ghci?<br>
>><br>
>> Though if it's for ghci options, why not just launch ghci with those<br>
>> options (using a .ghci file in the current directory, etc.)?<br>
>><br>
>> --<br>
>> Ivan Lazar Miljenovic<br>
>> <a href="mailto:Ivan.Miljenovic@gmail.com">Ivan.Miljenovic@gmail.com</a><br>
>> <a href="http://IvanMiljenovic.wordpress.com" rel="noreferrer" target="_blank">http://IvanMiljenovic.<wbr>wordpress.com</a><br>
><br>
><br>
<br>
<br>
<br>
--<br>
Ivan Lazar Miljenovic<br>
<a href="mailto:Ivan.Miljenovic@gmail.com">Ivan.Miljenovic@gmail.com</a><br>
<a href="http://IvanMiljenovic.wordpress.com" rel="noreferrer" target="_blank">http://IvanMiljenovic.<wbr>wordpress.com</a><br>
</div></div></blockquote></div><br></div>