Skip to content

Commit

Permalink
fiat-p256 0.2* does not compile with eqaf 0.10
Browse files Browse the repository at this point in the history
```
=== ERROR while compiling fiat-p256.0.2.1 ====================================#
 context              2.2.0~beta3~dev | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///home/opam/opam-repository
 path                 ~/.opam/4.14/.opam-switch/build/fiat-p256.0.2.1
 command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p fiat-p256 -j 255
 exit-code            1
 env-file             ~/.opam/log/fiat-p256-7-227f51.env
 output-file          ~/.opam/log/fiat-p256-7-227f51.out
 ## output ###
 File "p256/dune", line 4, characters 36-48:
 4 |  (libraries bigarray-compat cstruct eqaf.cstruct hex)
                                         ^^^^^^^^^^^^
 Error: Library "eqaf.cstruct" not found.
 -> required by library "fiat-p256" in _build/default/p256
 -> required by _build/default/META.fiat-p256
 -> required by _build/install/default/lib/fiat-p256/META
 -> required by _build/default/fiat-p256.install
 -> required by alias install
```
  • Loading branch information
hannesm committed Jun 17, 2024
1 parent e7fefa9 commit c2af901
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion packages/fiat-p256/fiat-p256.0.2.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ depends: [
"cstruct" {>= "3.5.0" & < "6.1.0"}
"dune" {>= "1.10.0"}
"dune-configurator"
"eqaf" {>= "0.5"}
"eqaf" {>= "0.5" & < "0.10"}
"hex"
"ppx_deriving_yojson" {with-test}
"rresult" {with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/fiat-p256/fiat-p256.0.2.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ depends: [
"bigarray-compat"
"cstruct" {>= "3.5.0" & < "6.1.0"}
"dune-configurator"
"eqaf" {>= "0.5"}
"eqaf" {>= "0.5" & < "0.10"}
"hex"
"conf-pkg-config" {build}
"ppx_deriving_yojson" {with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/fiat-p256/fiat-p256.0.2.3/opam
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ depends: [
"bigarray-compat"
"cstruct" {>= "3.5.0" & < "6.1.0"}
"dune-configurator"
"eqaf" {>= "0.5"}
"eqaf" {>= "0.5" & < "0.10"}
"hex"
"conf-pkg-config" {build}
"ppx_deriving_yojson" {with-test}
Expand Down

0 comments on commit c2af901

Please sign in to comment.