search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
162 stars 43 forks source link

Add OPAM file #54

Closed maximedenes closed 6 years ago

maximedenes commented 6 years ago

This should be tested by someone who uses OPAM.

spitters commented 6 years ago

Are you sure we want the opam file here? I'd expect that we need a replacement for this one: https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-math-classes/coq-math-classes.1.0.7/opam

maximedenes commented 6 years ago

That one is for math-classes 1.0.7. The design of OPAM makes it so that you have to duplicate this file for each version, AFAIK. Here I provide one that will build the master branch of the repo.

spitters commented 6 years ago

Still, shouldn't it go to https://github.com/coq/opam-coq-archive/blob/master/released/packages/... How will the installation of corn pick this up?

maximedenes commented 6 years ago

That repo is for released versions.

maximedenes commented 6 years ago

Ok, this seems to work (we tested it with Enrico).

maximedenes commented 6 years ago

How will the installation of corn pick this up?

I will update the .travis.yml file there.

maximedenes commented 6 years ago

@spitters see https://github.com/c-corn/corn/pull/56

Could you merge this one so that we can test the other one?