Schools

Schools copied to clipboard

The instructions at https://github.com/UniMath/Schools/blob/master/installation.md are outdated. Instead, we should point to the installation instructions located at https://github.com/UniMath/UniMath/issues/1587.

benediktahrens

benediktahrens

Error when running make file; probably Schools points to old version of Coq?

1

Last bit of terminal output: clang: warning: optimization flag '-fexcess-precision=standard' is not supported [-Wignored-optimization-argument] OCAMLC kernel/byterun/coq_memory.c clang: warning: optimization flag '-fexcess-precision=standard' is not supported [-Wignored-optimization-argument] OCAMLC kernel/byterun/coq_values.c clang: warning: optimization...

paigenorth