Closed txyyss closed 1 year ago
Fix the coq file installation problem by adding back (package poulet4) to the file coq/lib/dune , below (name Poulet4).
(package poulet4)
coq/lib/dune
(name Poulet4)
Ref: https://dune.readthedocs.io/en/latest/coq.html#coq-theory If the package field is present, Dune generates install rules for the .vo files of the theory. pkg_name must be a valid package name.
package
.vo
pkg_name
Since last time, this line is moved by comment message "fix build". I'm not sure it will break ci. It builds and installs without problem in my machine.
Thanks for fixing this!
hackedy
commented
1 year ago
Fix the coq file installation problem by adding back
(package poulet4)to the filecoq/lib/dune, below(name Poulet4).Ref: https://dune.readthedocs.io/en/latest/coq.html#coq-theory If the
packagefield is present, Dune generates install rules for the.vofiles of the theory.pkg_namemust be a valid package name.Since last time, this line is moved by comment message "fix build". I'm not sure it will break ci. It builds and installs without problem in my machine.