diff --git a/.rpmlint b/.rpmlint new file mode 100644 index 0000000..0aa5b0e --- /dev/null +++ b/.rpmlint @@ -0,0 +1,6 @@ +from Config import * +addFilter("shared-library-calls-exit .*/lib(mpi|open-rte|oshmem|_java)\.so"); +# We use environment modules to load these paths +addFilter("file-not-in-%lang /usr/share/man/openmpi-"); +addFilter("invalid-locale-man-dir /usr/share/man/openmpi-"); +addFilter("library-without-ldconfig-post[iu]n /usr/lib(|64)/openmpi/");