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

ocaml 5: restrict msat releases

They rely on `Pervasives`:

#=== ERROR while compiling msat.0.8 ===========================================#
# context 2.2.0~alpha~dev | linux/x86_64 | ocaml-base-compiler.5.0.0 | file:///home/opam/opam-repository
# path ~/.opam/5.0/.opam-switch/build/msat.0.8
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build @install -p msat -j 127
# exit-code 1
# env-file ~/.opam/log/msat-8-63a4cf.env
# output-file ~/.opam/log/msat-8-63a4cf.out
### output ###
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/core/.msat.objs/byte -I /home/opam/.opam/5.0/lib/bytes -I /home/opam/.opam/5.0/lib/iter -I /home/opam/.opam/5.0/lib/result -I /home/opam/.opam/5.0/lib/seq -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Heap_intf.cmo -c -impl src/core/Heap_intf.ml)
# File "src/core/Heap_intf.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/core/.msat.objs/byte -I /home/opam/.opam/5.0/lib/bytes -I /home/opam/.opam/5.0/lib/iter -I /home/opam/.opam/5.0/lib/result -I /home/opam/.opam/5.0/lib/seq -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Solver_intf.cmo -c -impl src/core/Solver_intf.ml)
# File "src/core/Solver_intf.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -I src/core/.msat.objs/byte -I /home/opam/.opam/5.0/lib/bytes -I /home/opam/.opam/5.0/lib/iter -I /home/opam/.opam/5.0/lib/result -I /home/opam/.opam/5.0/lib/seq -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Internal.cmo -c -impl src/core/Internal.ml)
# File "src/core/Internal.ml", line 235, characters 31-49:
# 235 | let[@inline] compare a b = Pervasives.compare a.aid b.aid
# ^^^^^^^^^^^^^^^^^^
# Error: Unbound module Pervasives

Etienne Millon 22fa4672 946f187f

options
unified split
Changed files
+11 -11
packages
msat
msat.0.1
opam
msat.0.2
opam
msat.0.3
opam
msat.0.4
opam
msat.0.4.1
opam
msat.0.5
opam
msat.0.5.1
opam
msat.0.6
opam
msat.0.6.1
opam
msat.0.7
opam
msat.0.8
opam
+1 -1
packages/msat/msat.0.1/opam 
···

       
16

       
16

       
 

       
install: [make "install"]


     

       
17

       
17

       
 

       
remove: ["ocamlfind" "remove" "msat"]


     

       
18

       
18

       
 

       
depends: [


     

       
19

       

       
-

       
  "ocaml" {>= "4.02.1"}


     

       

       
19

       
+

       
  "ocaml" {>= "4.02.1" & < "5.0.0"}


     

       
20

       
20

       
 

       
  "ocamlfind" {build}


     

       
21

       
21

       
 

       
  "base-unix"


     

       
22

       
22

       
 

       
  "ocamlbuild" {build}
+1 -1
packages/msat/msat.0.2/opam 
···

       
16

       
16

       
 

       
install: [make "install"]


     

       
17

       
17

       
 

       
remove: ["ocamlfind" "remove" "msat"]


     

       
18

       
18

       
 

       
depends: [


     

       
19

       

       
-

       
  "ocaml" {>= "4.02.1"}


     

       

       
19

       
+

       
  "ocaml" {>= "4.02.1" & < "5.0.0"}


     

       
20

       
20

       
 

       
  "ocamlfind" {build}


     

       
21

       
21

       
 

       
  "ocamlbuild" {build}


     

       
22

       
22

       
 

       
  "base-unix"
+1 -1
packages/msat/msat.0.3/opam 
···

       
19

       
19

       
 

       
install: [make "install"]


     

       
20

       
20

       
 

       
remove: ["ocamlfind" "remove" "msat"]


     

       
21

       
21

       
 

       
depends: [


     

       
22

       

       
-

       
  "ocaml" {>= "4.00.0"}


     

       

       
22

       
+

       
  "ocaml" {>= "4.00.0" & < "5.0.0"}


     

       
23

       
23

       
 

       
  "ocamlfind" {build}


     

       
24

       
24

       
 

       
  "ocamlbuild" {build}


     

       
25

       
25

       
 

       
]
+1 -1
packages/msat/msat.0.4.1/opam 
···

       
19

       
19

       
 

       
install: [make "install"]


     

       
20

       
20

       
 

       
remove: ["ocamlfind" "remove" "msat"]


     

       
21

       
21

       
 

       
depends: [


     

       
22

       

       
-

       
  "ocaml" {>= "4.00.1"}


     

       

       
22

       
+

       
  "ocaml" {>= "4.00.1" & < "5.0.0"}


     

       
23

       
23

       
 

       
  "ocamlfind" {build}


     

       
24

       
24

       
 

       
  "ocamlbuild" {build}


     

       
25

       
25

       
 

       
]
+1 -1
packages/msat/msat.0.4/opam 
···

       
19

       
19

       
 

       
install: [make "install"]


     

       
20

       
20

       
 

       
remove: ["ocamlfind" "remove" "msat"]


     

       
21

       
21

       
 

       
depends: [


     

       
22

       

       
-

       
  "ocaml" {>= "4.00.1"}


     

       

       
22

       
+

       
  "ocaml" {>= "4.00.1" & < "5.0.0"}


     

       
23

       
23

       
 

       
  "ocamlfind" {build}


     

       
24

       
24

       
 

       
  "ocamlbuild" {build}


     

       
25

       
25

       
 

       
]
+1 -1
packages/msat/msat.0.5.1/opam 
···

       
19

       
19

       
 

       
install: [make "install"]


     

       
20

       
20

       
 

       
remove: ["ocamlfind" "remove" "msat"]


     

       
21

       
21

       
 

       
depends: [


     

       
22

       

       
-

       
  "ocaml" {>= "4.00.1"}


     

       

       
22

       
+

       
  "ocaml" {>= "4.00.1" & < "5.0.0"}


     

       
23

       
23

       
 

       
  "ocamlfind" {build}


     

       
24

       
24

       
 

       
  "ocamlbuild" {build}


     

       
25

       
25

       
 

       
]
+1 -1
packages/msat/msat.0.5/opam 
···

       
19

       
19

       
 

       
install: [make "install"]


     

       
20

       
20

       
 

       
remove: ["ocamlfind" "remove" "msat"]


     

       
21

       
21

       
 

       
depends: [


     

       
22

       

       
-

       
  "ocaml" {>= "4.00.1"}


     

       

       
22

       
+

       
  "ocaml" {>= "4.00.1" & < "5.0.0"}


     

       
23

       
23

       
 

       
  "ocamlfind" {build}


     

       
24

       
24

       
 

       
  "ocamlbuild" {build}


     

       
25

       
25

       
 

       
]
+1 -1
packages/msat/msat.0.6.1/opam 
···

       
20

       
20

       
 

       
install: [make "DOCDIR=%{doc}%" "install"]


     

       
21

       
21

       
 

       
remove: [make "DOCDIR=%{doc}%" "uninstall"]


     

       
22

       
22

       
 

       
depends: [


     

       
23

       

       
-

       
  "ocaml" {>= "4.00.1"}


     

       

       
23

       
+

       
  "ocaml" {>= "4.00.1" & < "5.0.0"}


     

       
24

       
24

       
 

       
  "ocamlfind" {build}


     

       
25

       
25

       
 

       
  "ocamlbuild" {build}


     

       
26

       
26

       
 

       
]
+1 -1
packages/msat/msat.0.6/opam 
···

       
20

       
20

       
 

       
install: [make "DOCDIR=%{msat:doc}%" "install"]


     

       
21

       
21

       
 

       
remove: [make "uninstall"]


     

       
22

       
22

       
 

       
depends: [


     

       
23

       

       
-

       
  "ocaml" {>= "4.00.1"}


     

       

       
23

       
+

       
  "ocaml" {>= "4.00.1" & < "5.0.0"}


     

       
24

       
24

       
 

       
  "ocamlfind" {build}


     

       
25

       
25

       
 

       
  "ocamlbuild" {build}


     

       
26

       
26

       
 

       
]
+1 -1
packages/msat/msat.0.7/opam 
···

       
14

       
14

       
 

       
    [make "DOCDIR=%{msat:doc}%" "uninstall"]


     

       
15

       
15

       
 

       
]


     

       
16

       
16

       
 

       
depends: [


     

       
17

       

       
-

       
  "ocaml" { >= "4.00.1" }


     

       

       
17

       
+

       
  "ocaml" {>= "4.00.1" & < "5.0.0"}


     

       
18

       
18

       
 

       
  "ocamlfind" {build}


     

       
19

       
19

       
 

       
  "ocamlbuild" {build}


     

       
20

       
20

       
 

       
  "dolmen" {with-test & >= "0.4" & < "0.5" }
+1 -1
packages/msat/msat.0.8/opam 
···

       
8

       
8

       
 

       
homepage: "https://github.com/Gbury/mSAT"


     

       
9

       
9

       
 

       
bug-reports: "https://github.com/Gbury/mSAT/issues/"


     

       
10

       
10

       
 

       
depends: [


     

       
11

       

       
-

       
  "ocaml" {>= "4.03"}


     

       

       
11

       
+

       
  "ocaml" {>= "4.03" & < "5.0.0"}


     

       
12

       
12

       
 

       
  "dune"


     

       
13

       
13

       
 

       
  "iter" {>= "1.2"}


     

       
14

       
14

       
 

       
  "containers" {with-test & >= "2.0" & < "3.0" }