delorie.com/archives/browse.cgi | search |
X-Recipient: | archive-cygwin AT delorie DOT com |
X-SWARE-Spam-Status: | No, hits=-0.8 required=5.0 tests=AWL,BAYES_00,TW_YG,T_RP_MATCHES_RCVD |
X-Spam-Check-By: | sourceware.org |
Mime-Version: | 1.0 (Apple Message framework v1081) |
Subject: | Re: ocaml: patches needed |
From: | Damien Doligez <damien DOT doligez AT inria DOT fr> |
In-Reply-To: | <1439640916.139526.1286812910597.JavaMail.root@zmbs1.inria.fr> |
Date: | Wed, 13 Oct 2010 15:47:02 +0200 |
Message-Id: | <3F718711-595B-44C5-B2A8-61CF29BA00A4@inria.fr> |
References: | <1439640916 DOT 139526 DOT 1286812910597 DOT JavaMail DOT root AT zmbs1 DOT inria DOT fr> |
To: | cygwin AT cygwin DOT com |
Mailing-List: | contact cygwin-help AT cygwin DOT com; run by ezmlm |
List-Id: | <cygwin.cygwin.com> |
List-Unsubscribe: | <mailto:cygwin-unsubscribe-archive-cygwin=delorie DOT com AT cygwin DOT 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 |
Yaakov, > Thanks for updating OCaml to use FlexDLL. There are some further > patches required for a fully-functional OCaml: I agree with your suggestions, and I'll use your patches and cygport file, except for the way you implement this: > 2) package camlp4 separately due to its size; I think it's a bad idea to have something named "ocaml" that doesn't implement the full upstream package. What I will do instead is: ocaml-base for the system except camlp4 ocaml-camlp4 for camlp4 ocaml an empty helper package that depends on ocaml-base and ocaml-c= amlp4 I'm not sure what to name the base package: it could be ocaml-base or ocaml-core. Is there a generally-accepted naming convention for such cases? -- Damien -- 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
webmaster | delorie software privacy |
Copyright © 2019 by DJ Delorie | Updated Jul 2019 |