commit c468808416ccdaa2c8cbee3e56aba498091386c3 · anil.recoil.org/opam-repository

+17
packages/ocaml-option-nnpchecker/ocaml-option-nnpchecker.1/opam
···

       1
       1
        
       opam-version: "2.0"

     

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

     

       3
       3
       +
       description: """

     

       4
       4
       +
       This package can be used to run OCaml packages with the check for

     

       5
       5
       +
       'naked pointers' enabled. A naked pointer is a pointer outside the OCaml heap

     

       6
       6
       +
       without a valid header, which is valid in OCaml 4.x, but forbidden in the

     

       7
       7
       +
       multicore OCaml 5.x runtime.  The nnpchecker prints warnings to standard

     

       8
       8
       +
       error with the address that contains the naked pointer, the naked pointer

     

       9
       9
       +
       and the reason why the warning was raised.

     

       10
       10
       +
       See [https://discuss.ocaml.org/t/ann-a-dynamic-checker-for-detecting-naked-pointers/5805]

     

       11
       11
       +
       for more details on the operation of the naked pointer checker.

     

       12
       12
       +
       

     

       13
       13
       +
       By convention, the opam repository adds conflicts to OCaml packages that

     

       14
       14
       +
       violate the naked pointer rule. This means that if you install this package,

     

       15
       15
       +
       you can find the subset of packages that _are_ compatible with OCaml 5.

     

       16
       16
       +
       If you spot any violations of the nnpchecker on packages, then please consider

     

       17
       17
       +
       submitting a pull request to the ocaml/opam-repository that adds a conflict

     

       18
       18
       +
       against the violating package against this one.

     

       19
       19
       +
       """

     

       3
       20
        
       depends: [

     

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

     

       5
       22
        
       ]