Skip to content

Commit

Permalink
BUILD: allow specifying platform patch_dir from cmd line
Browse files Browse the repository at this point in the history
before:

patch_dir=$PLATFORM.patches

after

patch_dir can be specified as ./configure <....> patch_dir=/usr/local/site_ompi_v_x.y_patches/
if not specified - use default
  • Loading branch information
mike-dubman committed Oct 8, 2015
1 parent 37d52c9 commit 6fc4dd8
Showing 1 changed file with 10 additions and 1 deletion.
11 changes: 10 additions & 1 deletion config/ompi_load_platform.m4
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,10 @@
# OMPI_LOAD_PLATFORM()
# --------------------
AC_DEFUN([OMPI_LOAD_PLATFORM], [
AC_ARG_WITH([platform-patches-dir],
[AC_HELP_STRING([--with-platform-patches-dir=DIR],
[Location of the platform patches directory. If you use this option, you must also use --with-platform.])])

AC_ARG_WITH([platform],
[AC_HELP_STRING([--with-platform=FILE],
[Load options for build from FILE. Options on the
Expand Down Expand Up @@ -94,7 +98,12 @@ AC_DEFUN([OMPI_LOAD_PLATFORM], [
AC_SUBST(OPAL_PARAM_FROM_PLATFORM, "no")
fi

patch_dir="${with_platform}.patches"
if test -d "$with_platform_patches_dir"; then
patch_dir=$with_platform_patches_dir
else
patch_dir="${with_platform}.patches"
fi

patch_done="${srcdir}/.platform_patches"
patch_found=no

Expand Down

0 comments on commit 6fc4dd8

Please sign in to comment.