Re: [GHC] #4496: add a configure build option to use system libffi for Linux

2012-11-29 Thread GHC
#4496: add a configure build option to use system libffi for Linux --+- Reporter: juhpetersen | Owner: Type: feature request | Status: closed Priority: normal

Re: [GHC] #4496: add a configure build option to use system libffi for Linux

2012-11-29 Thread GHC
#4496: add a configure build option to use system libffi for Linux --+- Reporter: juhpetersen | Owner: Type: feature request | Status: closed Priority: normal

Re: [GHC] #4496: add a configure build option to use system libffi for Linux

2012-02-17 Thread GHC
#4496: add a configure build option to use system libffi for Linux -+-- Reporter: juhpetersen | Owner: Type: feature request | Status: new Priority: normal

Re: [GHC] #4496: add a configure build option to use system libffi for Linux

2012-02-16 Thread GHC
#4496: add a configure build option to use system libffi for Linux -+-- Reporter: juhpetersen | Owner: Type: feature request | Status: new Priority: normal

Re: [GHC] #4496: add a configure build option to use system libffi for Linux

2012-02-16 Thread GHC
#4496: add a configure build option to use system libffi for Linux -+-- Reporter: juhpetersen | Owner: Type: feature request | Status: new Priority: normal

Re: [GHC] #4496: add a configure build option to use system libffi for Linux

2012-02-13 Thread GHC
#4496: add a configure build option to use system libffi for Linux -+-- Reporter: juhpetersen | Owner: Type: feature request | Status: new Priority: low

Re: [GHC] #4496: add a configure build option to use system libffi for Linux (was: use system libffi on Linux)

2011-08-11 Thread GHC
#4496: add a configure build option to use system libffi for Linux -+-- Reporter: juhpetersen |Owner: Type: feature request | Status: new Priority: normal