Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Oct 22, 2014
  1. Sylvain Le Gall

    Update OASIS version.

    gildor478 authored
  2. Sylvain Le Gall
  3. Sylvain Le Gall
  4. Sylvain Le Gall

    Merge pull request #57 from jpdeplaix/master

    gildor478 authored
    Update CHANGES.txt
  5. Sylvain Le Gall
  6. Sylvain Le Gall
  7. Jacques-Pascal Deplaix

    Update CHANGES.txt

    jpdeplaix authored
  8. Sylvain Le Gall

    Merge pull request #56 from jpdeplaix/master

    gildor478 authored
    Update headers
  9. Jacques-Pascal Deplaix

    Update headers

    jpdeplaix authored
Commits on Oct 15, 2014
  1. Sylvain Le Gall

    Merge pull request #51 from jpdeplaix/exts

    gildor478 authored
    Tag .mly files on the basis as .ml and .mli files (required by menhir)
Commits on Oct 10, 2014
  1. Sylvain Le Gall

    Merge pull request #54 from madroach/master

    gildor478 authored
    build and install annotation files
  2. Sylvain Le Gall

    Merge pull request #55 from vouillon/patch-1

    gildor478 authored
    Use the right ocamlfind binary to get all supported packages
  3. Jerome Vouillon

    Use the right ocamlfind binary to get all supported packages

    vouillon authored
    The name of the ocamlfind binary should be read from the configuration.
    This is especially useful when cross-compiling.
Commits on Oct 6, 2014
  1. madroach
  2. madroach

    use builtin bin_annot and annot tags

    madroach authored
    use ocamlbuild builtin bin_annot and annot tags instead of rolling our own.
    
    also remove some trailing whitespace
Commits on Oct 5, 2014
  1. madroach

    add missing '.' to .cmti

    madroach authored
Commits on Oct 4, 2014
  1. madroach
Commits on Sep 2, 2014
  1. Sylvain Le Gall

    Merge pull request #53 from jpdeplaix/4.02-warns

    gildor478 authored
    Remove ocaml 4.02 warnings
  2. Jacques-Pascal Deplaix

    Remove ocaml 4.02 warnings

    jpdeplaix authored
Commits on Aug 27, 2014
  1. Sylvain Le Gall

    Merge pull request #52 from m2ym/add-tests-tag

    gildor478 authored
    Add tests tag if --enable-tests
Commits on Aug 26, 2014
  1. Add tests tag if --enable-tests

    Tomohiro Matsuyama authored
Commits on Jul 14, 2014
  1. Jacques-Pascal Deplaix
Commits on Jun 3, 2014
  1. Sylvain Le Gall
  2. Sylvain Le Gall
Commits on May 9, 2014
  1. Sylvain Le Gall

    Merge pull request #48 from choeger/master

    gildor478 authored
    Remove 'program' constraint from C-dependencies
  2. Christoph Höger

    Add TODO note

    choeger authored
    Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
  3. Sylvain Le Gall

    Merge pull request #50 from jpdeplaix/no_automatic_syntax

    gildor478 authored
    Add the no_automatic_syntax AlphaFeature
  4. Christoph Höger

    Merge branch 'testcase without fix'

    choeger authored
    This adds the test case for the fix.
  5. Christoph Höger

    Add a test case to demonstrate #1387

    choeger authored
    Basically, when an executable depends on a C-source, changing that
    C-source triggers a recompilation but no re-linking of the executable.
    
    Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Commits on May 8, 2014
  1. Jacques-Pascal Deplaix
Commits on May 7, 2014
  1. Sylvain Le Gall

    Merge pull request #49 from jpdeplaix/fix-camlp4-use-ocamlfind

    gildor478 authored
    Fix the automatic use of -syntax for OCamlVersion >= 3.12.1
  2. Jacques-Pascal Deplaix

    Add a TODO

    jpdeplaix authored
  3. Jacques-Pascal Deplaix
Commits on Apr 25, 2014
  1. Christoph Höger

    Remove 'program' constraint from C-dependencies

    choeger authored
    This fixes #1387
    
    Currently, when a library has C-sources and e.g. an executable
    depends on that library, then changing the C-sources and running
    '-build' does not yield a rebuild of the library.
    By adding these dependencies (rather removing the constraint),
    it seems to work fine.
    
    Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Commits on Apr 4, 2014
  1. Sylvain Le Gall

    Merge pull request #47 from jpdeplaix/fix-configure-args

    gildor478 authored
    Fix a bug with the compiled_setup_ml alpha feature using multiple arguments to the configure script
Something went wrong with that request. Please try again.