Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Jun 7, 2012
  1. @cedricss
Commits on Jun 6, 2012
  1. @cedricss
Commits on Apr 26, 2012
  1. @Aqua-Ye
Commits on Apr 10, 2012
  1. @Aqua-Ye
  2. @jlmess77 @Aqua-Ye

    [fix] Makefile: Use $(MAKE) instead of hardcore "make".

    jlmess77 authored Aqua-Ye committed
Commits on Mar 26, 2012
  1. @Aqua-Ye
Commits on Mar 15, 2012
  1. @OpaOnWindowsNow
Commits on Mar 7, 2012
  1. @BourgerieQuentin
  2. @OpaOnWindowsNow
Commits on Feb 7, 2012
  1. @BourgerieQuentin
Commits on Feb 2, 2012
  1. @BourgerieQuentin
Commits on Jan 27, 2012
  1. @jlmess77 @Aqua-Ye

    [fix] Makefile: Use $(MAKE) instead of hardcore "make" to allow FreeB…

    jlmess77 authored Aqua-Ye committed
    …SD to use the "gmake".
Commits on Jan 6, 2012
  1. [fix] manpages: when called from the main Makefile, do not assume 'in…

    Mathieu Baudet authored
    …stall-bld' to be already done
  2. [cleanup] Makefile: replaced calls to 'pwd' with make builtin command…

    Mathieu Baudet authored
    … 'realpath'
Commits on Dec 28, 2011
  1. @Aqua-Ye
Commits on Oct 28, 2011
  1. @BourgerieQuentin

    [fix] plugins: Install and searching

    BourgerieQuentin authored
    	- Install all necessary files
    	- Don't install unless files
    	- Don't put absolute path on BslLoading object files
    	- Search plugins on all compiler paths (especially install dir)
Commits on Oct 21, 2011
  1. @OpaOnWindowsNow
Commits on Sep 27, 2011
  1. @OpaOnWindowsNow

    [enhance] distrib: add opatop binary

    OpaOnWindowsNow authored François-Régis Sinot committed
Commits on Sep 25, 2011
  1. @fperrin
Commits on Sep 21, 2011
  1. @fperrin
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. @delroth

    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. @delroth

    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.