
I'd like to suggest that install or install_libs depend on install_libraries and install_oldlib
I think we need to figure out the full story for people using CVS or distros. I imagine doing something like: 1) From CVS: cvs checkout hugs98 libraries cd hugs98/src/unix ./configure --without-libs cd .. make install which would do a standard install (i.e., what you get at the moment) cvs checkout hugs98 libraries cd hugs98/src/unix ./configure --with-libs=../../../libraries cd .. make install which would run convert_libs and make install install_libraries[_ffi] 2) From official distro: cd hugs98/src/unix ./configure --without-libs cd .. make install which gives a standard install cvs checkout hugs98 libraries cd hugs98/src/unix ./configure --enable-newlibs cd .. make install which runs make install install_libraries[_ffi] (the distro would include converted libs) Obviously, the official distro is the one to focus on but I'd like the cvs story to be pleasant too. -- Alastair