I failed to install it on CentOS with --no-package-manager optionPlease see this issue for more details.Could you answer my questions one by one ?Thanks a lot for your help.On Wed, Feb 10, 2016 at 5:50 PM, Miklós Homolya <m.homolya14@imperial.ac.uk> wrote:Make sure you have all the other dependencies installed and then use the install script with the —no-package-manager option.
> _______________________________________________
> On 10 Feb 2016, at 22:28, Tao Wang <twang15@ncsu.edu> wrote:
>
> Hi, all
>
> I notice firedrake has dependency on open-mpi. But, I want to use other mpi implementation.
> I already have impi installed on my machine.
>
> What should I do to make this change happen ?
>
> Thanks,
> Tao
> firedrake mailing list
> firedrake@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/firedrake
_______________________________________________
firedrake mailing list
firedrake@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/firedrake