search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

[opam] Pin Coq package to a local path instead of adding a fake repos. #61

Closed ejgallego closed 5 years ago

ejgallego commented 5 years ago

Fixes #58

ejgallego commented 5 years ago

This actually needs https://github.com/coq/coq/pull/9469 or some other workaround as to allow the build of bignums to proceed properly I think.

ejgallego commented 5 years ago

Ok, this works now however it is a big change should be handled with care.