Commits on Jun 23, 2011
  1. [contrib] pull request #1 from git://

    François-Régis Sinot
    François-Régis Sinot committed Jun 23, 2011
Commits on Jun 22, 2011
Commits on Jun 21, 2011
  1. Use echo -e when needed in the Makefile

    delroth committed Jun 21, 2011
    Some echo-ed strings in the Makefile contain \r and \c sequence characters.
    They are not interpreted by default and require the -e flag to be passed to
    echo. This commit adds it everywhere it is needed for a better and more
    consistant output during the installation.
  2. Support make DESTDIR=... install for easier packaging

    delroth committed Jun 21, 2011
    Packaging scripts often use the DESTDIR=/some/directory variable to make the
    build system install the binaries in a specific directory which will be
    compressed to create the package. This commit adds support for this variable,
    by introducing a new INSTALL_DIR variable in the Makefile and replacing PREFIX
    by INSTALL_DIR everywhere it makes sense.
    Note that by default, INSTALL_DIR=$(PREFIX) so there should not be any
    compatibility problem with this commit.
  3. Initial open-source release

    MLstate committed Jun 21, 2011