Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 43 lines (31 sloc) 1.614 kb
1efd27d Thomas Gazagnaire More WIP
samoht authored
1 (***********************************************************************)
2 (* *)
3 (* Copyright 2012 OCamlPro *)
4 (* Copyright 2012 INRIA *)
5 (* *)
6 (* All rights reserved. This file is distributed under the terms of *)
7 (* the GNU Public License version 3.0. *)
8 (* *)
4ca3c23 Thomas Gazagnaire Remove TypeRex from headers
samoht authored
9 (* OPAM is distributed in the hope that it will be useful, *)
1efd27d Thomas Gazagnaire More WIP
samoht authored
10 (* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
11 (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
12 (* GNU General Public License for more details. *)
13 (* *)
14 (***********************************************************************)
aa67aa9 Thomas Gazagnaire Big refactoring work.
samoht authored
15
16 (** Compiler and OPAM versions *)
17
18 (** Binary relations *)
19 type relop = [`Eq|`Geq|`Gt|`Leq|`Lt]
20
21 (** OCaml compiler versions *)
22 module Compiler: sig
23
24 include OpamMisc.ABSTRACT
25
26 (** Compiler constraint *)
247d8aa Thomas Gazagnaire Use any kind of formula for compiler constraints
samoht authored
27 type constr = (relop * t) OpamFormula.formula
aa67aa9 Thomas Gazagnaire Big refactoring work.
samoht authored
28
29 (** Return the version of the compiler currently installed *)
30 val current: unit -> t option
31
32 (** Compare OCaml versions *)
33 val compare: t -> relop -> t -> bool
34
35 (** List the compiler available in a directory *)
36 val list: OpamFilename.Dir.t -> Set.t
37
38 end
39
40 (** OPAM versions *)
41 module OPAM: OpamMisc.ABSTRACT
42
Something went wrong with that request. Please try again.