delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2010/10/13/09:47:18

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

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019