From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0IMBmY1016886 for ; Tue, 18 Jan 2011 23:11:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwAAP+eNU3RVde2kGdsb2JhbACkVggVAQEBAQkJDAcRBCCpNIl6ghiFKi6HMAEBAwWFSwSLHoMka4IN X-IronPort-AV: E=Sophos;i="4.60,340,1291590000"; d="scan'208";a="87376860" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 18 Jan 2011 23:11:42 +0100 Received: by eyf6 with SMTP id 6so110677eyf.27 for ; Tue, 18 Jan 2011 14:11:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:subject:mime-version:content-type:from :in-reply-to:date:cc:content-transfer-encoding:message-id:references :to:x-mailer; bh=QSgdr9jp/c4LgeNw6L1zSNpCdwOYc78mGXS+yRWMi4I=; b=QXpfelc7+fR/E2Lu+G4iQMa3i2FgyEoMYFnqXvrsM8kvJSJ9TWbbRMRirMnYlesVE2 nB89Ifq6/Vfi8dyF1RhCUhdJwL6KjS/BrH/BGaSu/IHKKtC1e58OysZKaZiQyk1gXtr0 fXABRH6qXnv0Vg1/Szrcn8FFKiuCVmUIryTLo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; b=bl4WtooVuKGPvE8cKE9c5nZp6dQNw4yo9rGYbB5VAH89PTGxrMXEWx7H47VqsRKqCy S9vDHJAe02Z9QM09RK1Ep0omrADZ64P174NBN4OZAUtiYGl/9oeV/K/GuoBUPBkDxNsB dsrRV8k3bz8lzRhLi1GltRsWfrEbqIhxOZoX8= Received: by 10.216.1.145 with SMTP id 17mr4624439wed.50.1295388691686; Tue, 18 Jan 2011 14:11:31 -0800 (PST) Received: from [192.168.0.193] ([95.60.213.7]) by mx.google.com with ESMTPS id n11sm3279604wej.19.2011.01.18.14.11.30 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 18 Jan 2011 14:11:30 -0800 (PST) Mime-Version: 1.0 (Apple Message framework v1082) Content-Type: text/plain; charset=us-ascii From: Joel Reymont In-Reply-To: Date: Tue, 18 Jan 2011 22:11:28 +0000 Cc: caml-list@inria.fr Message-Id: References: To: Sylvain Le Gall X-Mailer: Apple Mail (2.1082) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p0IMBmY1016886 Subject: Re: [Caml-list] Re: oasis and ocaml version I tried clicking 'Report a bug' but nothing happened after the page reloaded. I even registered and tried reporting a bug but nothing happened. So just try building an Oasis project with a trunk build of OCaml, e.g. ocaml -version The Objective Caml toplevel, version 3.13.0+dev2 (2010-10-22) As an aside... I love the projects but hate OCamlForge. I think OCaml projects should live on GitHub, with its simple and easy to use interface, wikis, issue tracking, etc. On Jan 18, 2011, at 10:02 PM, Sylvain Le Gall wrote: > Hello, > > On 18-01-2011, Joel Reymont wrote: >> FYI, oasis chokes on ocaml version numbers like this: >> >> 3.13.0+dev2 (2010-10-22) >> > > What about filling a bug report with more information about that ? > > https://forge.ocamlcore.org/tracker/?atid=291&group_id=54&func=browse --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont