caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: David Allsopp <dra-news@metastack.com>
To: "Soegtrop, Michael" <michael.soegtrop@intel.com>,
	"caml-list@inria.fr" <caml-list@inria.fr>
Subject: RE: [Caml-list] Flexdll circular dependency fix uses system provided flexdll.h [was: opam-cross-windows]
Date: Mon, 27 Jun 2016 11:26:52 +0000	[thread overview]
Message-ID: <E51C5B015DBD1348A1D85763337FB6D9F0662D9E@Remus.metastack.local> (raw)
In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B877@IRSMSX102.ger.corp.intel.com>

Michael Soegtrop wrote:
> Dear David,
> 
> > Being unable to find a .cmx is unlikely to be a flexlink problem
> (flexlink handles .o files, not .cmx).
> 
> You are right. I used the MinGW ocaml compiler under Cygwin for so long
> without issues, that I forgot that they are not host=cygwin. It was a
> simple path incompatibility.
> 
> This was easy to fix, but this didn't get me that much further. With cross
> opam I get tiny path issues (a backslash here and there) in every other
> module.
> 
> I guess I need to build a real host=Cygwin target=MinGW OCaml. Let's see
> ...

Indeed - which is why, for now, my native Windows opam doesn't allow installation of the Cygwin ports (because these issues are too easy to hit).

In my opinion, this is all part of fixing the native Windows build system. Once the native Windows ports are built "properly" using configure, it should be relatively easy to have an ocamlopt with host=Cygwin target=MinGW (which is an ocamlopt producing native Windows code, but accepting Cygwin-style paths, etc.) and also more exotic combinations such as host=MinGW target=Cygwin


David 

  reply	other threads:[~2016-06-27 11:26 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-06-25 14:09 Soegtrop, Michael
2016-06-25 16:13 ` David Allsopp
2016-06-25 16:31   ` Soegtrop, Michael
2016-06-25 16:52     ` David Allsopp
2016-06-25 18:13       ` Soegtrop, Michael
2016-06-25 18:35         ` David Allsopp
2016-06-26 12:57           ` Soegtrop, Michael
2016-06-26 15:17             ` David Allsopp
2016-06-26 17:26               ` Soegtrop, Michael
2016-06-26 18:04                 ` David Allsopp
2016-06-27 11:15                   ` Soegtrop, Michael
2016-06-27 11:26                     ` David Allsopp [this message]
2016-06-27 12:01                       ` Soegtrop, Michael

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E51C5B015DBD1348A1D85763337FB6D9F0662D9E@Remus.metastack.local \
    --to=dra-news@metastack.com \
    --cc=caml-list@inria.fr \
    --cc=michael.soegtrop@intel.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).