search

jasmin-lang / coqword

Yet Another Coq Library on Machine Words.
MIT License
9 stars 7 forks source link

Test build with coq dev image #10

Closed maximedenes closed 2 years ago

maximedenes commented 2 years ago

Required for addition of this library to the Coq CI.

maximedenes commented 2 years ago

I'm not sure what should be done for the < 8.16~ constraint in the OPAM package. There are two options:

  1. Consider that this library being in Coq's CI is enough to guarantee compatibility, and so remove the constraint
  2. Make the job that test coq dev special, and not rely on opam to install dependencies for this one

For now, I did 1 but I can easily switch to 2 if that's preferred.

strub commented 2 years ago

For now, I did 1 but I can easily switch to 2 if that's preferred.

I a happy with 1.

maximedenes commented 2 years ago

@strub Thanks!