Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Aug 23, 2011
  1. [fix] doc build: tweaked build of generated of opa doc for future cha…

    François-Régis Sinot authored
    …nges
Commits on Jul 8, 2011
  1. [fix] Makefile: zealous uninstall

    Louis Gesbert authored
Commits on Jul 6, 2011
  1. [enhance] make: do not rebuild opa packages if the variable is set

    Louis Gesbert authored Mathieu Barbin committed
Commits on Jun 30, 2011
  1. [cleanup] Makefile,comments: tiny cleanup & fixes

    Louis Gesbert authored
Commits on Jun 24, 2011
  1. [feature] build: support for optional libraries, enabled libnattraver…

    Louis Gesbert authored
    …sal if dependencies available
Commits on Jun 23, 2011
  1. [contrib] pull request #1 from git://github.com/delroth/opalang

    François-Régis Sinot authored
    Conflicts:
    	Makefile
Commits on Jun 22, 2011
Commits on Jun 21, 2011
  1. Pierre Bourdon

    Use echo -e when needed in the Makefile

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

    Support make DESTDIR=... install for easier packaging

    delroth authored
    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 authored
Something went wrong with that request. Please try again.