After looking more closely you want just local/lib to local/$(get_libdir) in the previous sed command. I haven't thought about the other problem yet.
Francois
After looking more closely you want just local/lib to local/$(get_libdir) in the previous sed command. I haven't thought about the other problem yet.
Francois