> * Support for Glasgow Haskell Compiler via command-line tools "isabelle
> ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack".
> Existing settings variable ISABELLE_GHC is maintained dynamically
> according the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.
On an El Capi
On 21/10/2018 13:25, Lars Hupel wrote:
>> * Support for Glasgow Haskell Compiler via command-line tools "isabelle
>> ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack".
>> Existing settings variable ISABELLE_GHC is maintained dynamically
>> according the state of ISABELLE_STACK_ROOT
> * Support for Glasgow Haskell Compiler via command-line tools "isabelle
> ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack".
> Existing settings variable ISABELLE_GHC is maintained dynamically
> according the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.
Just a side r
> On an El Capitan system, this produces the following error:
The problem can alternatively be solved by installing Homebrew's stack
version and declaring
ISABELLE_STACK="/usr/local/bin/stack"
in ~/.isabelle/etc/settings.
___
isabelle-dev mailing list
On 21/10/2018 17:34, Lars Hupel wrote:
>> On an El Capitan system, this produces the following error:
>
> The problem can alternatively be solved by installing Homebrew's stack
> version and declaring
>
> ISABELLE_STACK="/usr/local/bin/stack"
>
> in ~/.isabelle/etc/settings.
Can you actually ex
> Can you actually explain the problem and its solution?
The problem appears to be that the official Stack binaries do not work
consistently on El Capitan. The machine I've tried them on is fully
updated and has no special software setup.
The binary provided by Homebrew does not exhibit that prob
