Skip to content
This repository

Nov 22, 2011

  1. Frederic Ye

    [fix] git_version: should fix problem with opa version = 0

    Aqua-Ye authored

Nov 21, 2011

  1. shadinger

    [fix] build: Allows for correct compilation even if no GIT repository…

    … is configures.
    shadinger authored BourgerieQuentin committed

Sep 21, 2011

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

    Frédéric Perrin authored

Jul 01, 2011

  1. [fix] release: build version was taged with an offset of 1 between op…

    …a --version and tag
    Louis Gesbert authored mbarbin committed

Jun 23, 2011

  1. Mathieu Barbin

    [feature] compiler option: --minimal-version for Makefile

       The purpose is to get quickly a clear error message about the version
       of the compiler, rather than a strange error message caused by
       an update in the compiler and/or in the stdlib.
       It is recommended to use this option in your Makefile for applications
       using new features, or new functions of the stdlib, or in any application
       published somewhere, and potentially compiled by people having
       wild and heterogeneous versions of Opa (nightly builds, from sources).
    mbarbin authored

Jun 21, 2011

  1. Initial open-source release

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