Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Oct 11, 2011
  1. @jonludlam

    Check for ocamlspot before installing spot files

    jonludlam authored
    Signed-off-by: Mike McClurg <mike.mcclurg@citrix.com>
Commits on Sep 28, 2011
  1. @djs55

    Clean up Makefiles

    Mike McClurg authored djs55 committed
    Move common variables into config.mk.in instead of redefining them everywhere.
    Make sure we use ocamlfind instead of hard-coding paths and things. Update
    type-conv compiler arguments to allow us to use type-conv 2.3.
    
    Signed-off-by: Mike McClurg <mike.mcclurg@citrix.com>
Commits on Mar 14, 2011
  1. @zli

    Xen 4.1: Add configure-time option to use system installed Xen librar…

    zli authored
    …y bindings.
    
    Could be made to auto detect the Xen version but for now requires the user to
    explicitly opt in.
    
    Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
    Signed-off-by: Zheng Li <zheng.li@eu.citrix.com>
Commits on Feb 20, 2011
  1. @jonathanknowles
Commits on Sep 25, 2009
  1. [CAPRI]: add (C)opyright notice and LGPL with static linking exceptio…

    David Scott authored
    …n to .ml and .mli files.
    
    Signed-off-by: David Scott <dave.scott@eu.citrix.com>
  2. [CAPRI]: add (C)opyright notice and LGPL with static linking exceptio…

    David Scott authored
    …n to .ml and .mli files.
    
    Signed-off-by: David Scott <dave.scott@eu.citrix.com>
  3. [CAPRI]: add (C)opyright notice and LGPL with static linking exceptio…

    David Scott authored
    …n to .ml and .mli files.
    
    Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Commits on May 28, 2009
  1. Initial import of hg.uk.xensource.com/carbon/trunk/api-libs.hg c/s 25…

    Xen hg user authored
    …5:b95c318ded7c dated 'Thu May 28 12:05:33 2009 +0100'. Also add LICENSE and CREDITS file.
    
    For reference here is the output of 'hg export 255':
    ...
    # Node ID b95c318ded7ca1eb3ff556c472f51ff0bd6c649f
    # Parent  44307a5cffbf4d78042683602596d6a4a8421417
    ...
    
    Signed-off-by: David Scott <dave.scott@eu.citrix.com>
  2. Initial import of hg.uk.xensource.com/carbon/trunk/api-libs.hg c/s 25…

    Xen hg user authored
    …5:b95c318ded7c dated 'Thu May 28 12:05:33 2009 +0100'. Also add LICENSE and CREDITS file.
    
    For reference here is the output of 'hg export 255':
    ...
    # Node ID b95c318ded7ca1eb3ff556c472f51ff0bd6c649f
    # Parent  44307a5cffbf4d78042683602596d6a4a8421417
    ...
    
    Signed-off-by: David Scott <dave.scott@eu.citrix.com>
  3. Initial import of hg.uk.xensource.com/carbon/trunk/api-libs.hg c/s 25…

    Xen hg user authored
    …5:b95c318ded7c dated 'Thu May 28 12:05:33 2009 +0100'. Also add LICENSE and CREDITS file.
    
    For reference here is the output of 'hg export 255':
    ...
    # Node ID b95c318ded7ca1eb3ff556c472f51ff0bd6c649f
    # Parent  44307a5cffbf4d78042683602596d6a4a8421417
    ...
    
    Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Something went wrong with that request. Please try again.