Revision e23925b773bcc63bcf2b33421251031958088810 authored by Paul Zimmermann on 20 February 2014, 14:53:21 UTC, committed by Paul Zimmermann on 20 February 2014, 14:53:21 UTC
1 parent 89d9bd3
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 ...