···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
synopsis: "Set OCaml to be compiled with --disable-naked-pointers"

     

       
3
       
3
       
 
       
depends: [

     

       
4
       
4
       
-
       
  "ocaml-variants" {post & >= "4.12.0~"}

     

       
4
       
4
       
+
       
  "ocaml-variants" {post & >= "4.12.0~" & < "5.00.0~~"}

     

       
5
       
5
       
 
       
]

     

       
6
       
6
       
 
       
maintainer: "platform@lists.ocaml.org"

     

       
7
       
7
       
 
       
flags: compiler

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
synopsis: "Set OCaml to be compiled with --enable-naked-pointers-checker"

     

       
3
       
3
       
 
       
depends: [

     

       
4
       
4
       
-
       
  "ocaml-variants" {post & ((>= "4.12.0~" & arch = "x86_64") | >= "4.14.0~")}

     

       
4
       
4
       
+
       
  "ocaml-variants" {post & ((>= "4.12.0~" & arch = "x86_64") | >= "4.14.0~") & < "5.00.0~~"}

     

       
5
       
5
       
 
       
]

     

       
6
       
6
       
 
       
available:

     

       
7
       
7
       
 
       
    (arch = "x86_64" & (os = "linux" | os = "macos" | os = "openbsd" | os = "freebsd" | os = "sunos"))

     

···

       
11
       
11
       
 
       
  "base-unix" {post}

     

       
12
       
12
       
 
       
  "base-bigarray" {post}

     

       
13
       
13
       
 
       
  "base-threads" {post}

     

       
14
       
14
       
+
       
  "base-domains" {post}

     

       
14
       
15
       
 
       
  "ocaml-beta" {opam-version < "2.1"}

     

       
15
       
16
       
 
       
]

     

       
16
       
17
       
 
       
conflict-class: "ocaml-core-compiler"

     
···

       
29
       
30
       
 
       
    "--enable-flambda" {ocaml-option-flambda:installed}

     

       
30
       
31
       
 
       
    "--enable-frame-pointers" {ocaml-option-fp:installed}

     

       
31
       
32
       
 
       
    "--enable-spacetime" {ocaml-option-spacetime:installed}

     

       
32
       
32
       
-
       
    "--disable-naked-pointers" {ocaml-option-nnp:installed}

     

       
33
       
33
       
-
       
    "--enable-naked-pointers-checker" {ocaml-option-nnpchecker:installed}

     

       
34
       
33
       
 
       
    "CC=cc" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")}

     

       
35
       
34
       
 
       
    "CC=musl-gcc" {ocaml-option-musl:installed & os-distribution!="alpine"}

     

       
36
       
35
       
 
       
    "CFLAGS=-Os" {ocaml-option-musl:installed}

     
···

       
74
       
73
       
 
       
  "ocaml-option-musl"

     

       
75
       
74
       
 
       
  "ocaml-option-static"

     

       
76
       
75
       
 
       
  "ocaml-option-spacetime"

     

       
77
       
77
       
-
       
  "ocaml-option-nnp"

     

       
78
       
78
       
-
       
  "ocaml-option-nnpchecker"

     

       
79
       
76
       
 
       
]