| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
| |
Upstream has provided a free replacement for the nonfree ssrmatching
file I removed in cf916fd97fbac51af6fa68ec2704da2a28ef9ede. Patch that
file in and resume building ssrmatching and ssreflect.
|
| |
|
|
|
|
| |
Operations with .vio files fail when Coq has been compiled with ocamlc;
see https://github.com/coq/coq/issues/9141. Disable tests related
to .vio generation to prevent this from breaking the build.
|
|
|
This includes disabling all unit tests, which require ocamlopt and
“don’t test much yet” anyway.
|
Benjamin Barenblat