Stream: Machine learning and automation

Topic: Installation of a diverse set of Coq package for ML


view this post on Zulip Brando Miranda (Aug 23 2022 at 14:25):

post question from https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/New.20Stack.20Exchange.20question/near/294450146, https://stackoverflow.com/questions/73427065/how-does-one-automatically-make-a-coq-proj-opam-install-script-automatically-f?noredirect=1#comment129680178_73427065.

I was suggested that @Emilio Jesús Gallego Arias might know how to resolve this. How would you install old coq packages/projects that only use make and make them work with opam?

view this post on Zulip Karl Palmskog (Aug 23 2022 at 14:27):

there is no general method that's guaranteed to work to make old Coq projects build with opam.

view this post on Zulip Karl Palmskog (Aug 23 2022 at 14:29):

if the projects use coq_makefile directly or indirectly, it may work to add build: [make] and the like in an ad-hoc opam package. But in the datasets that have been created for Coq ML, the build scripts have generally been done manually, or with some hacky script followed by manual fixing.


Last updated: Feb 06 2023 at 05:03 UTC