ross 2002/09/13 03:31:33 PDT Modified files: . Makefile src Makefile.in MkInstal.in src/unix configure configure.in Log: Build adjustments: * 'make' now includes 'make libraries' * 'make install' also installs the new library setup * new option --enable-ffi for unix/configure: if this is set, 'make install' also installs the ffi stuff * unix/configure checks the fptools directory for plausibility As a result, the story is now: cd src/unix ./configure --with-fptools=<dir> --enable-ffi cd .. make install Revision Changes Path 1.19 +1 -1 hugs98/Makefile 1.20 +8 -2 hugs98/src/Makefile.in 1.21 +11 -6 hugs98/src/MkInstal.in 1.33 +463 -441 hugs98/src/unix/configure 1.37 +12 -0 hugs98/src/unix/configure.in