Skip to content

Commit

Permalink
datalog 0.6 is not compatible with ocaml 5
Browse files Browse the repository at this point in the history
```

#=== ERROR while compiling datalog.0.6 ========================================#
# 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/datalog.0.6
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build @install -p datalog -j 71
# exit-code            1
# env-file             ~/.opam/log/datalog-7-97f55d.env
# output-file          ~/.opam/log/datalog-7-97f55d.out
### output ###
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -g -bin-annot -I src/bottom_up_cli/.datalog_cli.eobjs/byte -I src/bottom_up/.datalog.objs/byte -no-alias-deps -o src/bottom_up_cli/.datalog_cli.eobjs/byte/datalog_cli.cmo -c -impl src/bottom_up_cli/datalog_cli.ml)
# File "src/bottom_up_cli/datalog_cli.ml", line 59, characters 6-24:
# 59 |       Pervasives.compare a b
#            ^^^^^^^^^^^^^^^^^^
# Error: Unbound module Pervasives
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -color always -safe-string -warn-error -a+8 -g -bin-annot -I src/top_down/.datalog_top_down.objs/byte -I src/bottom_up/.datalog.objs/byte -intf-suffix .ml -no-alias-deps -open Datalog_top_down__ -o src/top_down/.datalog_top_down.objs/byte/datalog_top_down.cmo -c -impl src/top_down/Datalog_top_down.ml)
# File "src/top_down/Datalog_top_down.ml", line 1681, characters 10-17:
# 1681 |       let new_var =
#                  ^^^^^^^
# Warning 26 [unused-var]: unused variable new_var.
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlopt.opt -w -40 -color always -safe-string -warn-error -a+8 -g -I src/top_down/.datalog_top_down.objs/byte -I src/top_down/.datalog_top_down.objs/native -I src/bottom_up/.datalog.objs/byte -I src/bottom_up/.datalog.objs/native -intf-suffix .ml -no-alias-deps -open Datalog_top_down__ -o src/top_down/.datalog_top_down.objs/native/datalog_top_down.cmx -c -impl src/top_down/Datalog_top_down.ml)
# File "src/top_down/Datalog_top_down.ml", line 1681, characters 10-17:
# 1681 |       let new_var =
#                  ^^^^^^^
# Warning 26 [unused-var]: unused variable new_var.
```
  • Loading branch information
mseri authored Jan 12, 2023
1 parent 0ba4258 commit 1f83c10
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions packages/datalog/datalog.0.6/opam
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ doc: "https://c-cube.github.io/datalog"
bug-reports: "https://github.com/c-cube/datalog/issues"
depends: [
"dune"
"ocaml" {>= "4.03"}
"ocaml" {>= "4.03" & < "5.0"}
"odoc" {with-doc}
"mdx" {>= "1.3" & with-test}
]
Expand All @@ -26,4 +26,4 @@ url {
"md5=4a2d12d630a5edd694968675a84a3ef5"
"sha512=685c0e186705837cb3ac66df6e8011d9f6a9629484b3a813b767df95348d5a41f37301f3e199ed6c91a42a87d1563e8355377269176785b123eb297a5ad022d7"
]
}
}

0 comments on commit 1f83c10

Please sign in to comment.