commit 81a779dd39122e7c465db820f20c33670359331f · anil.recoil.org/opam-repository

+5 -4

packages/frama-c/frama-c.21.0/opam

···

       98
       98
        
         [make "-C" "doc" "install"] {with-doc}

     

       99
       99
        
       ]

     

       100
       100
        
       

     

       101
       101
       -
       run-test: [

     

       102
       102
       -
         [make "-j%{jobs}%" "PTESTS_OPTS=-error-code" "tests"]

     

       103
       103
       -
       ]

     

       101
       101
       +
       #run-test: [

     

       102
       102
       +
       #  [make "-j%{jobs}%" "PTESTS_OPTS=-error-code" "tests"]

     

       103
       103
       +
       #]

     

       104
       104
       +
       # Logs diffs against /tmp not /opam-tmp (imcompatible with opam sandbox)

     

       104
       105
        
       

     

       105
       106
        
       depends: [

     

       106
       107
        
         "ocaml" { >= "4.05.0" & ( < "4.08.0~" | >= "4.08.1" ) }

     
···

       115
       116
        
         "conf-graphviz" { post }

     

       116
       117
        
         "yojson"

     

       117
       118
        
         "why3" { >= "1.3.1" & < "1.4~" }

     

       118
       118
       -
         "conf-time" {with-test}

     

       119
       119
       +
       #  "conf-time" {with-test}

     

       119
       120
        
       ]

     

       120
       121
        
       

     

       121
       122
        
       depopts: [

+5 -4

packages/frama-c/frama-c.21.1/opam

···

       98
       98
        
         [make "-C" "doc" "install"] {with-doc}

     

       99
       99
        
       ]

     

       100
       100
        
       

     

       101
       101
       -
       run-test: [

     

       102
       102
       -
         [make "-j%{jobs}%" "PTESTS_OPTS=-error-code" "tests"]

     

       103
       103
       -
       ]

     

       101
       101
       +
       #run-test: [

     

       102
       102
       +
       #  [make "-j%{jobs}%" "PTESTS_OPTS=-error-code" "tests"]

     

       103
       103
       +
       #]

     

       104
       104
       +
       # Logs diffs against /tmp not /opam-tmp (imcompatible with opam sandbox)

     

       104
       105
        
       

     

       105
       106
        
       depends: [

     

       106
       107
        
         "ocaml" { >= "4.05.0" & ( < "4.08.0~" | >= "4.08.1" ) }

     
···

       115
       116
        
         "conf-graphviz" { post }

     

       116
       117
        
         "yojson"

     

       117
       118
        
         "why3" { >= "1.3.1" & < "1.4~" }

     

       118
       118
       -
         "conf-time" {with-test}

     

       119
       119
       +
       #  "conf-time" {with-test}

     

       119
       120
        
       ]

     

       120
       121
        
       

     

       121
       122
        
       depopts: [