anil.recoil.org / opam-repository
this repo has no description
fork atom

goblint and apronext are not compatible with new apron

Failures:
```
=== ERROR while compiling goblint.2.3.0 ======================================#
context 2.2.0~rc1 | linux/x86_64 | ocaml-base-compiler.5.2.0 | file:///home/opam/opam-repository
path ~/.opam/5.2/.opam-switch/build/goblint.2.3.0
command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p goblint -j 39 --promote-install-files=false @install
exit-code 1
env-file ~/.opam/log/goblint-8-30d430.env
output-file ~/.opam/log/goblint-8-30d430.out
(cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /opam-tmp/build_4386d2_dune/dune-pipe-action-_3826e7_.stdout
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
(cd _build/default && /home/opam/.opam/5.2/bin/ocamlc.opt -w -40 -warn-error -A -w -unused-var-strict -w -unused-functor-parameter -w +9 -open Goblint_std -g -bin-annot -bin-annot-occurrences -I src/.goblint_lib.objs/byte -I /home/opam/.opam/5.2/lib/angstrom -I /home/opam/.opam/5.2/lib/apron -I /home/opam/.opam/5.2/lib/arg-complete -I /home/opam/.opam/5.2/lib/astring -I /home/opam/.opam/5.2/lib/batteries/unthreaded -I /home/opam/.opam/5.2/lib/bigarray-compat -I /home/opam/.opam/5.2/lib/bigstringaf -I /home/opam/.opam/5.2/lib/bos -I /home/opam/.opam/5.2/lib/bytes -I /home/opam/.opam/5.2/lib/camlp-streams -I /home/opam/.opam/5.2/lib/catapult -I /home/opam/.opam/5.2/lib/catapult-file -I /home/opam/.opam/5.2/lib/catapult/utils -I /home/opam/.opam/5.2/lib/cpu -I /home/opam/.opam/5.2/lib/cstruct -I /home/opam/.opam/5.2/lib/ctypes -I /home/opam/.opam/5.2/lib/ctypes/stubs -I /home/opam/.opam/5.2/lib/fileutils -I /home/opam/.opam/5.2/lib/findlib -I /home/opam/.opam/5.2/lib/fmt -I /home/opam/.opam/5.2/lib/fpath -I /home/opam/.opam/5.2/lib/gmp -I /home/opam/.opam/5.2/lib/goblint-cil -I /home/opam/.opam/5.2/lib/goblint-cil/dataslicing -I /home/opam/.opam/5.2/lib/goblint-cil/liveness -I /home/opam/.opam/5.2/lib/goblint-cil/makecfg -I /home/opam/.opam/5.2/lib/goblint-cil/pta -I /home/opam/.opam/5.2/lib/goblint-cil/syntacticsearch -I /home/opam/.opam/5.2/lib/goblint-cil/zrapp -I /home/opam/.opam/5.2/lib/hex -I /home/opam/.opam/5.2/lib/integers -I /home/opam/.opam/5.2/lib/json-data-encoding -I /home/opam/.opam/5.2/lib/json-data-encoding/stdlib -I /home/opam/.opam/5.2/lib/jsonrpc -I /home/opam/.opam/5.2/lib/logs -I /home/opam/.opam/5.2/lib/num -I /home/opam/.opam/5.2/lib/ocaml/dynlink -I /home/opam/.opam/5.2/lib/ocaml/str -I /home/opam/.opam/5.2/lib/ocaml/threads -I /home/opam/.opam/5.2/lib/ocaml/unix -I /home/opam/.opam/5.2/lib/ppx_deriving/runtime -I /home/opam/.opam/5.2/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/5.2/lib/qcheck-core -I /home/opam/.opam/5.2/lib/qcheck-core/runner -I /home/opam/.opam/5.2/lib/rresult -I /home/opam/.opam/5.2/lib/seq -I /home/opam/.opam/5.2/lib/sha -I /home/opam/.opam/5.2/lib/stdlib-shims -I /home/opam/.opam/5.2/lib/stringext -I /home/opam/.opam/5.2/lib/uri -I /home/opam/.opam/5.2/lib/uuidm -I /home/opam/.opam/5.2/lib/yaml -I /home/opam/.opam/5.2/lib/yaml/bindings -I /home/opam/.opam/5.2/lib/yaml/bindings/types -I /home/opam/.opam/5.2/lib/yaml/c -I /home/opam/.opam/5.2/lib/yaml/ffi -I /home/opam/.opam/5.2/lib/yaml/types -I /home/opam/.opam/5.2/lib/yaml/unix -I /home/opam/.opam/5.2/lib/yojson -I /home/opam/.opam/5.2/lib/zarith -I src/build-info/.goblint_build_info.objs/byte -I src/common/.goblint_common.objs/byte -I src/sites/.goblint_sites.objs/byte -I src/util/backtrace/.goblint_backtrace.objs/byte -I src/util/std/.goblint_std.objs/byte -I src/util/timing/.goblint_timing.objs/byte -I src/vendor/zarith/.zarith_mlgmpidl.objs/byte -no-alias-deps -open Goblint_lib__ -o src/.goblint_lib.objs/byte/goblint_lib__AffineEqualityDomain.cmo -c -impl src/affineEqualityDomain.pp.ml)
File "src/affineEqualityDomain.ml", line 1:
Error: Unbound value "Environment.compare"
```
and
```
=== ERROR while compiling apronext.1.0.4 =====================================#
context 2.2.0~rc1 | linux/x86_64 | ocaml-base-compiler.5.2.0 | file:///home/opam/opam-repository
path ~/.opam/5.2/.opam-switch/build/apronext.1.0.4
command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p apronext -j 255
exit-code 1
env-file ~/.opam/log/apronext-7-be8a71.env
output-file ~/.opam/log/apronext-7-be8a71.out
(cd _build/default && /home/opam/.opam/5.2/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/.apronext.objs/byte -I /home/opam/.opam/5.2/lib/apron -I /home/opam/.opam/5.2/lib/bigarray-compat -I /home/opam/.opam/5.2/lib/gmp -intf-suffix .ml -no-alias-deps -open Apronext__ -o src/.apronext.objs/byte/apronext__Environmentext.cmo -c -impl src/environmentext.ml)
File "src/environmentext.ml", line 1:
Error: The implementation "src/environmentext.ml"
does not match the interface "src/environmentext.ml":
The value "compare" is required but not provided
File "src/environmentext.mli", line 64, characters 0-79:
Expected declaration
(cd _build/default && /home/opam/.opam/5.2/bin/ocamlopt.opt -w -40 -g -I src/.apronext.objs/byte -I src/.apronext.objs/native -I /home/opam/.opam/5.2/lib/apron -I /home/opam/.opam/5.2/lib/bigarray-compat -I /home/opam/.opam/5.2/lib/gmp -intf-suffix .ml -no-alias-deps -open Apronext__ -o src/.apronext.objs/native/apronext__Environmentext.cmx -c -impl src/environmentext.ml)
File "src/environmentext.ml", line 1:
Error: The implementation "src/environmentext.ml"
does not match the interface "src/environmentext.ml":
The value "compare" is required but not provided
File "src/environmentext.mli", line 64, characters 0-79:
Expected declaration
```

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

mseri.me 41f689da 6ed19e32

options
unified split
Changed files
+13 -5
packages
apronext
apronext.1.0
opam
apronext.1.0.1
opam
apronext.1.0.2
opam
apronext.1.0.3
opam
apronext.1.0.4
opam
goblint
goblint.1.1.1
opam
goblint.2.0.0
opam
goblint.2.0.1
opam
goblint.2.1.0
opam
goblint.2.2.1
opam
goblint.2.3.0
opam
+1 -1
packages/apronext/apronext.1.0.1/opam 
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
-

       
  "apron"


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"


     
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
+

       
  "apron" {< "0.9.15"}


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0.2/opam 
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
-

       
  "apron"


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"


     
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
+

       
  "apron" {< "0.9.15"}


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0.3/opam 
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
-

       
  "apron"


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"


     
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
+

       
  "apron" {< "0.9.15"}


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0.4/opam 
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
-

       
  "apron"


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"


     
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune"  {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
+

       
  "apron" {< "0.9.15"}


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0/opam 
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune" {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
-

       
  "apron"


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"


     
···

       
14

       
 

       
depends: [


     

       
15

       
 

       
  "dune" {>= "2.1"}


     

       
16

       
 

       
  "ocaml" {>= "4.08"}


     

       
17

       
+

       
  "apron" {< "0.9.15"}


     

       
18

       
 

       
]


     

       
19

       
 

       
synopsis: "Apron extension"


     

       
20

       
 

       
description: "An extension for the OCaml interface of the Apron library"
+3
packages/goblint/goblint.1.1.1/opam 
···

       
64

       
 

       
  ]


     

       
65

       
 

       
}


     

       
66

       
 

       
x-commit-hash: "c35cb34d985a98308e65666cfb547f2447045ce9"


     

       

       

       
     

       

       

       
     

       

       

       
     

       
67

       
 

       
# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project


     

       
68

       
 

       
# also remember to generate/adjust goblint.opam.locked!


     

       
69

       
 

       
# pin-depends: [


     
···

       
64

       
 

       
  ]


     

       
65

       
 

       
}


     

       
66

       
 

       
x-commit-hash: "c35cb34d985a98308e65666cfb547f2447045ce9"


     

       
67

       
+

       
conflicts: [


     

       
68

       
+

       
  "apron" {>= "0.9.15"}


     

       
69

       
+

       
]


     

       
70

       
 

       
# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project


     

       
71

       
 

       
# also remember to generate/adjust goblint.opam.locked!


     

       
72

       
 

       
# pin-depends: [
+1
packages/goblint/goblint.2.0.0/opam 
···

       
51

       
 

       
conflicts: [


     

       
52

       
 

       
  "result" {< "1.5"}


     

       
53

       
 

       
  "z3"


     

       

       

       
     

       
54

       
 

       
]


     

       
55

       
 

       
build: [


     

       
56

       
 

       
  ["dune" "subst"] {dev}


     
···

       
51

       
 

       
conflicts: [


     

       
52

       
 

       
  "result" {< "1.5"}


     

       
53

       
 

       
  "z3"


     

       
54

       
+

       
  "apron" {>= "0.9.15"}


     

       
55

       
 

       
]


     

       
56

       
 

       
build: [


     

       
57

       
 

       
  ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.0.1/opam 
···

       
50

       
 

       
depopts: ["apron" "z3"]


     

       
51

       
 

       
conflicts: [


     

       
52

       
 

       
  "result" {< "1.5"}


     

       

       

       
     

       
53

       
 

       
]


     

       
54

       
 

       
build: [


     

       
55

       
 

       
  ["dune" "subst"] {dev}


     
···

       
50

       
 

       
depopts: ["apron" "z3"]


     

       
51

       
 

       
conflicts: [


     

       
52

       
 

       
  "result" {< "1.5"}


     

       
53

       
+

       
  "apron" {>= "0.9.15"}


     

       
54

       
 

       
]


     

       
55

       
 

       
build: [


     

       
56

       
 

       
  ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.1.0/opam 
···

       
52

       
 

       
depopts: ["apron" "z3"]


     

       
53

       
 

       
conflicts: [


     

       
54

       
 

       
  "result" {< "1.5"}


     

       

       

       
     

       
55

       
 

       
]


     

       
56

       
 

       
build: [


     

       
57

       
 

       
  ["dune" "subst"] {dev}


     
···

       
52

       
 

       
depopts: ["apron" "z3"]


     

       
53

       
 

       
conflicts: [


     

       
54

       
 

       
  "result" {< "1.5"}


     

       
55

       
+

       
  "apron" {>= "0.9.15"}


     

       
56

       
 

       
]


     

       
57

       
 

       
build: [


     

       
58

       
 

       
  ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.2.1/opam 
···

       
52

       
 

       
depopts: ["apron" "z3"]


     

       
53

       
 

       
conflicts: [


     

       
54

       
 

       
  "result" {< "1.5"}


     

       

       

       
     

       
55

       
 

       
]


     

       
56

       
 

       
build: [


     

       
57

       
 

       
  ["dune" "subst"] {dev}


     
···

       
52

       
 

       
depopts: ["apron" "z3"]


     

       
53

       
 

       
conflicts: [


     

       
54

       
 

       
  "result" {< "1.5"}


     

       
55

       
+

       
  "apron" {>= "0.9.15"}


     

       
56

       
 

       
]


     

       
57

       
 

       
build: [


     

       
58

       
 

       
  ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.3.0/opam 
···

       
52

       
 

       
depopts: ["apron" "z3"]


     

       
53

       
 

       
conflicts: [


     

       
54

       
 

       
  "result" {< "1.5"}


     

       

       

       
     

       
55

       
 

       
]


     

       
56

       
 

       
build: [


     

       
57

       
 

       
  ["dune" "subst"] {dev}


     
···

       
52

       
 

       
depopts: ["apron" "z3"]


     

       
53

       
 

       
conflicts: [


     

       
54

       
 

       
  "result" {< "1.5"}


     

       
55

       
+

       
  "apron" {>= "0.9.15"}


     

       
56

       
 

       
]


     

       
57

       
 

       
build: [


     

       
58

       
 

       
  ["dune" "subst"] {dev}