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
MIME-Version:	1.0
X-IsSubscribed:	yes
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

- Raw text -