X-Recipient: archive-cygwin AT delorie DOT com
DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:from:to:subject:date:message-id:references
	:in-reply-to:content-type:mime-version
	:content-transfer-encoding; q=dns; s=default; b=oc9UncC8Jj1mcZzJ
	NlNcZScd2XkYxHJorfaZjl36pm83rN1y/s5gktPlwXVQGvnN+piH9YoSvcTGZqvR
	HR1m2LhXJNZwaPkw0d1xINj9v+FMGSxpVWTBxjw4IIkH0aIeazxAGxu6bCa/B/kR
	z9FCmRsMYkuT7ZTKLrP06M5pfTE=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:from:to:subject:date:message-id:references
	:in-reply-to:content-type:mime-version
	:content-transfer-encoding; s=default; bh=n3ZaRh0YRFJhb0IwLXGXLZ
	IBWGY=; b=pscQ6QiIqThO8YxpxwM9t88Xc8NKaLuDp4RTTWRSEa2P++XmWmH9b0
	Zo+AoBphNGJd8mAir3wDnxOvSr4O5iu27CQNFYUIQ7lX6Vi1inBgdXnQGngOeiEW
	TdnWnW4UHQaJjIGjFlDhDEsiWapOmjIVgzz04MHK5SkIekomvQQ/Y=
Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id: <cygwin.cygwin.com>
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sourceware.org/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=1.7 required=5.0 tests=AWL,BAYES_20,EXECUTABLE_URI,MIME_BASE64_BLANKS,SPF_PASS autolearn=no version=3.3.2 spammy=directors, Board, Commercial, Lau
X-HELO: mga03.intel.com
X-Amp-Result: SKIPPED(no attachment in message)
X-Amp-File-Uploaded: False
X-ExtLoop1: 1
From: "Soegtrop, Michael" <michael DOT soegtrop AT intel DOT com>
To: Andy Li <andy AT onthewings DOT net>, "cygwin AT cygwin DOT com" <cygwin AT cygwin DOT com>
Subject: RE: How portable (relocatable) is a Cygwin installation?
Date: Thu, 10 May 2018 17:43:14 +0000
Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A177871D02C@IRSMSX102.ger.corp.intel.com>
References: <CAM-5HMtk-0xo9L+8HWZmVjhXQxKGaG8_NS8NKWwOed+gdn806g AT mail DOT gmail DOT com>
In-Reply-To: <CAM-5HMtk-0xo9L+8HWZmVjhXQxKGaG8_NS8NKWwOed+gdn806g@mail.gmail.com>
dlp-product: dlpe-windows
dlp-version: 11.0.200.100
dlp-reaction: no-action
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
X-IsSubscribed: yes
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from base64 to 8bit by delorie.com id w4AHhWxU014583

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