Revision 132f63c1a343af4280df47cf9cc0453060d506b7 authored by Jérémie Detrey on 10 March 2014, 10:29:14 UTC, committed by Jérémie Detrey on 10 March 2014, 10:31:12 UTC
1 parent b2cdbc1
cado_mpi_config_h.in
#ifndef CADO_MPI_CONFIG_H_IN
#define CADO_MPI_CONFIG_H_IN
#include "cado_config.h"
/* This file is just a placeholder so as to force rebuilding of the parts
* of cado that use MPI when the selected MPI library changes. If we have
* an MPI build, then HAVE_MPI is substituted with the directory where
* the __mpiexec__ command has been found. */
#cmakedefine HAVE_MPI "@HAVE_MPI@"
#endif /* CADO_MPI_CONFIG_H_IN */
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...