Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Jan 27, 2012

  1. Jeremy Messenger

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

    …SD to use the "gmake".
    jlmess77 authored Aqua-Ye committed

Jan 06, 2012

  1. [fix] manpages: when called from the main Makefile, do not assume 'in…

    …stall-bld' to be already done
    Mathieu Baudet authored
  2. [fix] Makefile: fixed global target clean by introducing '::'

    Mathieu Baudet authored
  3. [cleanup] Makefile: replaced calls to 'pwd' with make builtin command…

    … 'realpath'
    Mathieu Baudet authored
  4. [enhance] manpages: added target install-man to install manpages by d…

    …efault
    Mathieu Baudet authored

Dec 28, 2011

  1. Frederic Ye

    [fix] Makefile: added opa-translate in the distribution package build…

    … process
    Aqua-Ye authored

Oct 28, 2011

  1. Quentin Bourgerie

    [fix] plugins: Install and searching

    	- 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)
    BourgerieQuentin authored

Oct 21, 2011

  1. Rudy Sicard

    [fix] Makefile: install plugins

    OpaOnWindowsNow authored

Sep 27, 2011

  1. Rudy Sicard

    [enhance] distrib: add opatop binary

    OpaOnWindowsNow authored François-Régis Sinot committed

Sep 25, 2011

  1. On FreeBSD check and use gmake, use make elsewhere

    Frédéric Perrin authored

Sep 21, 2011

  1. Don't assume that bash is in /bin

    Frédéric Perrin authored

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.