The Coq mailing list

[Bas Spitters <b.a.w.spitters AT gmail.com>]

I haven't thought deeply about case sensitivity, but if it requires a minor change, I'd be willing to accept a pull request.

About the change in math-classes. It used to be a git submodule of corn.

In order to move to use Coq's new contrib system we need to use opam.

Opam does not play well with git submodules.

I am hoping for a better integration of opam and git at some point, but this is the source of some recent changes.

I'll improve the documentation once I find the time for that.

Bas

On Wed, May 6, 2015 at 8:43 PM, Vadim Zaliva <vzaliva AT cmu.edu> wrote:

On May 6, 2015, at 10:14 , Jason Gross <jasongross9 AT gmail.com> wrote:

It seems to be available on opam: https://github.com/coq/repo-unstable/blob/master/packages/coq:contrib:math-classes/coq:contrib:math-classes.dev/opam

Thanks! That leads me to OPAM/Coq question. I am already using OPAM for OCaml stuff on my Mac. However it would not work for MathClasses since they require case-sensitive file system which is not default on Macs. I usually create and mount disk image with case-sensitive file system just for MathClasses. I would like very much to use OPAM for Coq packages, but at least for this one case-sensitivity would be a problem. How people are dealing with this?

Sincerely,
Vadim Zaliva

--

CMU ECE PhD candidate

Mobile: +1(510)220-1060

Skype: vzaliva