search

barry-jay-personal / tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus
MIT License
51 stars 4 forks source link

Opam package broken #5

Open LasseBlaauwbroek opened 2 years ago

LasseBlaauwbroek commented 2 years ago

Currently, the installation of the Opam package is broken. In particular, the three lines here appear to be specific for the authors machine. This causes the compiled Coq files not to be installed. https://github.com/barry-jay-personal/tree-calculus/blob/879f48048d9665bd966996b52f274b42e8fdbcd1/CoqMakefile.conf#L38-L40

It appears that in the master branch of this project the problem has been resolved. May I suggest making another release where this is fixed?

barry-jay-personal commented 2 years ago

Hi Lasse,

Thanks for this. I’ll write again when fixed, today or tomorrow.

Yours, Barry

Sent from my iPhone

On 5 Sep 2022, at 8:04 pm, Lasse Blaauwbroek @.***> wrote:

 Currently, the installation of the Opam package is broken. In particular, the three lines here appear to be specific for the authors machine. This causes the compiled Coq files not to be installed. https://github.com/barry-jay-personal/tree-calculus/blob/879f48048d9665bd966996b52f274b42e8fdbcd1/CoqMakefile.conf#L38-L40

It appears that in the master branch of this project the problem has been resolved. May I suggest making another release where this is fixed?

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.