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

packages/coq-native/coq-native.1/opam

···

       1
        
       opam-version: "2.0"

     

       2
        
       maintainer: "Erik Martin-Dorel"

     

       3
        
       authors: "Coq"

     

       0
        
       
     

       4
        
       homepage: "https://coq.inria.fr/"

     

       5
        
       bug-reports: "https://github.com/coq/coq/issues"

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       6
        
       conflicts: [

     

       7
        
         "coq" {< "8.5"}

     

       8
        
         "base-nnp"

···

       1
        
       opam-version: "2.0"

     

       2
        
       maintainer: "Erik Martin-Dorel"

     

       3
        
       authors: "Coq"

     

       4
       +
       license: "LGPL-2.1-only"

     

       5
        
       homepage: "https://coq.inria.fr/"

     

       6
        
       bug-reports: "https://github.com/coq/coq/issues"

     

       7
       +
       depends: [

     

       8
       +
         "rocq-native"

     

       9
       +
       ]

     

       10
        
       conflicts: [

     

       11
        
         "coq" {< "8.5"}

     

       12
        
         "base-nnp"

+28

packages/rocq-native/rocq-native.1/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       maintainer: "Erik Martin-Dorel"

     

       3
       +
       authors: "Rocq"

     

       4
       +
       license: "LGPL-2.1-only"

     

       5
       +
       homepage: "https://coq.inria.fr/"

     

       6
       +
       bug-reports: "https://github.com/coq/coq/issues"

     

       7
       +
       conflicts: [

     

       8
       +
         "base-nnp"

     

       9
       +
         "ocaml-option-nnpchecker"

     

       10
       +
       ]

     

       11
       +
       synopsis: "Package flag enabling rocq's native-compiler flag"

     

       12
       +
       description: """

     

       13
       +
       This package acts as a package flag for the ambient switch, taken into

     

       14
       +
       account by rocq (and possibly any rocq library) to enable native_compute

     

       15
       +
       at configure time, triggering the installation of .coq-native/* files

     

       16
       +
       for the rocq libraries.

     

       17
       +
       

     

       18
       +
       This implements item 1 of CEP #48 <https://github.com/coq/ceps/pull/48>.

     

       19
       +
       

     

       20
       +
       Remarks:

     

       21
       +
       

     

       22
       +
       1. you might face with issues installing this package flag under macOS,

     

       23
       +
          see <https://github.com/coq/coq/issues/11178>.

     

       24
       +
       2. this package is not intended to be used as a dependency of other

     

       25
       +
          packages (notably as installing or uninstalling this package may

     

       26
       +
          trigger a rebuild of all rocq packages in the ambient switch).

     

       27
       +
       3. the option set by this package will be automatically propagated to

     

       28
       +
          rocq compile."""