I am synchronizing slepc-dev with petsc-dev. I am almost finished, but there are some changes in the makefiles that affect us. In particular we used shared_nomesg_noinstall, which is no longer in petscrules. Can anyone give me pointers to the changesets where this was modified? Thanks. Jose