Web lists-archives.com

RE: How portable (relocatable) is a Cygwin installation?




Dear Andy,

here you can find a batch file, which sets up a Cygwin from scratch with a defined set of packages:

https://github.com/coq/coq/blob/master/dev/build/windows/MakeCoq_MinGW.bat

The setup of Cygwin takes about 2 minutes and is without any user interaction. I would say, this is a more reasonable approach. If you want a fixed environment, you should use your own Cygwin repo.

It later calls a shell script which builds ocaml, menhir, libraries like lablgtk and eventually Coq, but I guess this wouldn't be useful for you because this is a MinGW Ocaml and I guess (just a guess) you are using a Cygwin OCaml. But there is no reason why one couldn't setup opam on Cygwin in a similar way.

I think there are also some Cygwin / opam scripts in the CI of Coq. If this would be useful for you, I can point you to the respective scripts.

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple