4 Commits

Author	SHA1	Message	Date
Anthony Scemama	c8c00e1cf9	Fixed makefile for doc	2019-02-15 11:08:10 +01:00
Anthony Scemama	a194a1d61f	Choosing MPI or not at configuration	2019-01-15 15:17:34 +01:00
Anthony Scemama	2ffd82436d	Update configure	2018-10-17 10:15:02 +02:00
Anthony Scemama	17c9aef254	Opam package	2018-03-28 01:50:19 +02:00