oshmem: replace header files in include/mpp with symlinks
This is a work around to avoit what looks like a CMake bug Thanks Paul Kapinos for the report Fixes open-mpi/ompi#1868
Этот коммит содержится в:
родитель
c3c262b3a8
Коммит
2a98f9fcc3
@ -1,5 +1,7 @@
|
||||
# Copyright (c) 2013-2015 Mellanox Technologies, Inc.
|
||||
# All rights reserved.
|
||||
# Copyright (c) 2016 Research Organization for Information Science
|
||||
# and Technology (RIST). All rights reserved.
|
||||
# $COPYRIGHT$
|
||||
#
|
||||
# Additional copyrights may follow
|
||||
@ -22,9 +24,16 @@ include_HEADERS += shmem.fh \
|
||||
shmemx.h \
|
||||
shmem-compat.h
|
||||
|
||||
nobase_include_HEADERS = mpp/shmem.h \
|
||||
mpp/shmem.fh
|
||||
# Create symlinks for the (now deprecated) files in $(includedir)/mpp directory
|
||||
install-exec-hook:
|
||||
test -z "$(includedir)" || $(MKDIR_P) "$(DESTDIR)$(includedir)/mpp"
|
||||
(cd $(DESTDIR)$(includedir)/mpp; rm -f shmem.h; $(LN_S) ../shmem.h shmem.h)
|
||||
(cd $(DESTDIR)$(includedir)/mpp; rm -f shmem.fh; $(LN_S) ../shmem.fh shmem.fh)
|
||||
|
||||
uninstall-local:
|
||||
rm -f $(DESTDIR)/$(includedir)/mpp/shmem.h \
|
||||
$(DESTDIR)/$(includedir)/mpp/shmem.fh
|
||||
|
||||
# These files are always installed in $(includedir), but shouldn't be
|
||||
# shipped since they are generated by configure from their .in
|
||||
# counterparts (which AM automatically ships).
|
||||
|
@ -1,11 +0,0 @@
|
||||
!
|
||||
! Copyright (c) 2013 Mellanox Technologies, Inc.
|
||||
! All rights reserved.
|
||||
! $COPYRIGHT$
|
||||
!
|
||||
! Additional copyrights may follow
|
||||
!
|
||||
! $HEADER$
|
||||
!
|
||||
|
||||
include 'shmem.fh'
|
@ -1,16 +0,0 @@
|
||||
/*
|
||||
* Copyright (c) 2013 Mellanox Technologies, Inc.
|
||||
* All rights reserved.
|
||||
* $COPYRIGHT$
|
||||
*
|
||||
* Additional copyrights may follow
|
||||
*
|
||||
* $HEADER$
|
||||
*/
|
||||
|
||||
#ifndef __MPP_SHMEM_H__
|
||||
#define __MPP_SHMEM_H__
|
||||
|
||||
#include <shmem.h>
|
||||
|
||||
#endif
|
Загрузка…
x
Ссылка в новой задаче
Block a user