Skip to content
This repository

Aug 23, 2011

  1. [fix] doc build: tweaked build of generated of opa doc for future cha…

    …nges
    François-Régis Sinot authored

Jul 08, 2011

  1. [fix] Makefile: zealous uninstall

    Louis Gesbert authored

Jul 06, 2011

  1. [enhance] make: do not rebuild opa packages if the variable is set

    Louis Gesbert authored mbarbin committed

Jun 30, 2011

  1. [cleanup] Makefile,comments: tiny cleanup & fixes

    Louis Gesbert authored

Jun 24, 2011

  1. [feature] build: support for optional libraries, enabled libnattraver…

    …sal if dependencies available
    Louis Gesbert authored
  2. [fix] Makefiles: using a more portable printf instead of echo

    Louis Gesbert authored

Jun 23, 2011

  1. [contrib] pull request #1 from git://github.com/delroth/opalang

    Conflicts:
    	Makefile
    François-Régis Sinot authored

Jun 22, 2011

  1. [feature] make: installing more dev tools in the install-all target

    Louis Gesbert authored

Jun 21, 2011

  1. Pierre Bourdon

    Use echo -e when needed in the Makefile

    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.
    delroth authored
  2. Pierre Bourdon

    Support make DESTDIR=... install for easier packaging

    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.
    delroth authored
  3. Initial open-source release

    MLstate authored
Something went wrong with that request. Please try again.