/usr/include/smpi/mpi.h is in libsimgrid-dev 3.11.1-9.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | /* Copyright (c) 2010-2014. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#ifndef MPI_H
#define MPI_H
#define SEED 221238
#define sleep(x) smpi_sleep(x)
#include <smpi/smpi.h>
#include <xbt/sysdep.h>
#include <xbt/log.h>
#include <xbt/asserts.h>
#include <simgrid/modelchecker.h>
#define gettimeofday(x, y) smpi_gettimeofday(x, NULL)
#ifdef HAVE_MC
#undef assert
#define assert(x) MC_assert(x)
#endif
#endif
|