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?
there is no general method that's guaranteed to work to make old Coq projects build with opam.
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: Mar 02 2024 at 14:01 UTC