From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0K1carD017776 for ; Thu, 20 Jan 2011 02:38:37 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBAD8hN03RVaA2kGdsb2JhbACEEZIcAQGOEggVAQEBAQkJDAcRBCCjT4k+kCOBJIM4dASLHg X-IronPort-AV: E=Sophos;i="4.60,347,1291590000"; d="scan'208";a="73507230" Received: from mail-pw0-f54.google.com ([209.85.160.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 20 Jan 2011 02:38:31 +0100 Received: by pwi10 with SMTP id 10so20382pwi.27 for ; Wed, 19 Jan 2011 17:38:29 -0800 (PST) MIME-Version: 1.0 Received: by 10.142.245.8 with SMTP id s8mr1511566wfh.266.1295487508475; Wed, 19 Jan 2011 17:38:28 -0800 (PST) Received: by 10.143.14.9 with HTTP; Wed, 19 Jan 2011 17:38:28 -0800 (PST) Date: Thu, 20 Jan 2011 02:38:28 +0100 Message-ID: From: Andrej Bauer To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] menhir + ocamlbuild trouble under Windows 7 I am trying to compile a program under Windows 7 with menhir (version 20090505) and ocamlbuild (3.11.2). Menhir complains about "unknown option `-modules parser.mly`". I am no expert for Windows and cygwin but the same version of ocaml and menhir on MacOS and Linux does not complain. Where should I be looking for the source of the trouble? Actually, the program I am trying to compile under windows is here: http://hg.andrej.com/alg (just run "make"). Also, GODI is dying on me in bootstrap stage 2. Something about godi_console not being there. Isn't it supposed to work under Windows 7? Thanks, Andrej