ThirdParty/mingwBuild/configure_OpenMPI.sh

   1 #!/bin/sh
   2 #------------------------------------------------------------------------------
   3 # =========                 |
   4 # \\      /  F ield         | foam-extend: Open Source CFD
   5 #  \\    /   O peration     | Version:     3.2
   6 #   \\  /    A nd           | Web:         http://www.foam-extend.org
   7 #    \\/     M anipulation  | For copyright notice see file Copyright
   8 #------------------------------------------------------------------------------
   9 # License
  10 #     This file is part of foam-extend.
  11 #
  12 #     foam-extend is free software: you can redistribute it and/or modify it
  13 #     under the terms of the GNU General Public License as published by the
  14 #     Free Software Foundation, either version 3 of the License, or (at your
  15 #     option) any later version.
  16 #
  17 #     foam-extend is distributed in the hope that it will be useful, but
  18 #     WITHOUT ANY WARRANTY; without even the implied warranty of
  19 #     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  20 #     General Public License for more details.
  21 #
  22 #     You should have received a copy of the GNU General Public License
  23 #     along with foam-extend.  If not, see <http://www.gnu.org/licenses/>.
  24 #
  25 # Script
  26 #     configure_OpenMPI.sh
  27 #
  28 # Description
  29 #     Generates static OpenMPI library to enable compilation with MINGW toolchain.
  30 #
  31 # Author:
  32 #     Cesare Guardino, Alstom Power Ltd., (2015)
  33 #
  34 #------------------------------------------------------------------------------
  35
  36 if [ -f "$MPI_ROOTDIR/lib/libmpi.a" ] ; then
  37     echo "$MPI_ROOTDIR/lib/libmpi.a already exists."
  38     exit 1
  39 fi
  40
  41 INSTALL=1
  42 if [ $1 ] ; then
  43     if [ $1 = "--no-install" ] ; then
  44         INSTALL=0
  45         echo "*** WARNING: Will not install exported libmpi.a and libmpi.def"
  46     fi
  47 fi
  48
  49 tmp=`echo $RANDOM$RANDOM$RANDOM`
  50 current_dir=`pwd`
  51 mkdir -p /tmp/$tmp
  52 cd /tmp/$tmp
  53
  54 pexports $MPI_ROOTDIR/bin/libmpi.dll > libmpi.def
  55 dlltool --dllname libmpi.dll --def libmpi.def --output-lib libmpi.a
  56
  57 if [ $INSTALL -eq 1 ] ; then
  58     mv libmpi.a $MPI_ROOTDIR/lib
  59     mv libmpi.def $MPI_ROOTDIR/lib
  60     cd $current_dir
  61     rm -rf /tmp/$tmp
  62     echo "Installed exported libraries into $MPI_ROOTDIR/lib"
  63 else
  64     cd $current_dir
  65     echo "Exported libraries left in directory /tmp/$tmp"
  66 fi