Add the generated mpi_portable_platform.h into the install file list.

This commit was SVN r21290.

ompi/CMakeLists.txt

@@ -165,7 +165,8 @@ INSTALL(TARGETS libmpi
         RUNTIME DESTINATION bin
         LIBRARY DESTINATION lib
         ARCHIVE DESTINATION lib)
-INSTALL(FILES ${PROJECT_BINARY_DIR}/include/mpi.h DESTINATION include)
+INSTALL(FILES ${PROJECT_BINARY_DIR}/include/mpi.h ${PROJECT_BINARY_DIR}/include/mpi_portable_platform.h
+  DESTINATION include)
 
 IF(OMPI_WANT_F77_BINDINGS)
   INSTALL(FILES ${PROJECT_BINARY_DIR}/include/mpif.h