RE: How portable (relocatable) is a Cygwin installation?
- Date: Thu, 10 May 2018 17:43:14 +0000
- From: "Soegtrop, Michael" <michael.soegtrop@xxxxxxxxx>
- Subject: RE: How portable (relocatable) is a Cygwin installation?
here you can find a batch file, which sets up a Cygwin from scratch with a defined set of packages:
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.
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
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple