From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 90B827ED45 for ; Mon, 2 Jul 2012 15:01:56 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.160.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.160.182 as permitted sender) identity=mailfrom; client-ip=209.85.160.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-gh0-f182.google.com) identity=helo; client-ip=209.85.160.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-gh0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwBAMCa8U/RVaC2kGdsb2JhbAArCRGlYJB2CCIBAQEBCQkNGwQjghgBAQEEEgIsARsSCwEDDAYFCwcGDRYLIgERAQUBCgQOBhMSCQeHWgEDCwspnFAJA4wjgnEyEAKEIwoZJwMKV4hxAQUMiy8ahgADlTSBEogUhQA+hACBXQ X-IronPort-AV: E=Sophos;i="4.77,510,1336341600"; d="scan'208";a="149374082" Received: from mail-gh0-f182.google.com ([209.85.160.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Jul 2012 15:01:55 +0200 Received: by ghbz22 with SMTP id z22so6117994ghb.27 for ; Mon, 02 Jul 2012 06:01:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=nJtK/Jj/9hZqhbxGO1ige4N+w3TojV1CIWuQDu7Zi4g=; b=xPSMipmCU9RwIr536xbuuxUQfelW/Q5qr7A5X0rnPbeDC4SHq+XqKLsmWWam+Chqqm BHMgR1LdwpE6vxH5U86uRUvPd6SL+7CaVl+Av8ArdLIfufd9r/jouYjafH2qA2vt0NsM Lyi/Mswhnfm6TgqS1lHFUU5EGrwtYGen6CH6oNO2pBVGHwpSnC1kuk5vbIkLj9XTJp++ 4HxSBSeAae3P30F9lnLIP+Bn6IJ31qDF5fjp5jYIw/IP5/s47Xby1g6skM4wp6YyzVpY CJ93OjCOeT9FjlS8AD7BW8YXggRGtsSEHgGeeCjvNEo2t6FxzDtz0RCpAe0aDru1cwAh X1Ig== Received: by 10.50.40.169 with SMTP id y9mr7298564igk.56.1341234114087; Mon, 02 Jul 2012 06:01:54 -0700 (PDT) MIME-Version: 1.0 Received: by 10.50.94.39 with HTTP; Mon, 2 Jul 2012 06:01:12 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Mon, 2 Jul 2012 15:01:12 +0200 Message-ID: To: Sylvain Le Gall Cc: caml-list@inria.fr, ocaml-core@googlegroups.com Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [was: [Caml-list] [ANN] oasis v0.3.0: Architecture for building OCaml libraries and applications] Pb with type_conv I react to "the @ issue on Windows", because I'm the one to blame in this c= ase. This was discussed on the OCaml bug tracker ( http://caml.inria.fr/mantis/view.php?id=3D5312 ) and later on the Caml mailing-list ( http://www.mail-archive.com/caml-list@inria.fr/msg01993.html ), and it was decided to remove support for @responsefiles from OCaml to solve that conflict with the warning specification syntax. Fate assigned the bug to me, but I've been busy with other things and have not implemented it (if someone wants to help on this, feel free!). As we're late in the release process, I don't think it would go in for 4.00, so the best bet for now is to consider this warning specification unportable and use -warn-error instead. I welcome feedback on such issues on the bugtracker or mailing-list; feedback helps setting good priorities. Sorry for not taking care of this earlier. On Mon, Jul 2, 2012 at 11:18 AM, Sylvain Le Gall wrot= e: > Hi, > > 2012/7/2 Daniel B=FCnzli : >> Hello, >> >> Trying to install with odb.ml and ocaml 4.00.0+beta2, with >> >> ocaml odb.ml --unstable oasis >> >> But typeconv fails with [1]. Is there a magic invocation to override tha= t warnings are errors flag ? >> > > I think Jane Street Core team added the "-w @Aemr-28" flags. They did > it in myocamlbuild.ml section not managed by OASIS. The only solution > is to change by hand. > > I CC the core mailing list which will provide you more information > about this issue (I have the same kind of issue because of "@" on > Windows). > >> Thanks, >> >> Daniel >> >> [1] >> >> Configuration: >> ocamlfind: ........................................... /usr/local/bin/oc= amlfind >> ocamlc: .............................................. /usr/local/bin/oc= amlc.opt >> ocamlopt: ............................................ /usr/local/bin/oc= amlopt.opt >> ocamlbuild: .......................................... /usr/local/bin/oc= amlbuild >> Package name: ........................................ type_conv >> Package version: ..................................... 108.00.01 >> os_type: ............................................. Unix >> system: .............................................. macosx >> architecture: ........................................ amd64 >> ccomp_type: .......................................... cc >> ocaml_version: ....................................... 4.00.0 >> standard_library_default: ............................ /usr/local/lib/oc= aml >> standard_library: .................................... /usr/local/lib/oc= aml >> standard_runtime: .................................... /usr/local/bin/oc= amlrun >> bytecomp_c_compiler: ................................. gcc -fno-defer-po= p -Wall -D_FILE_OFFSET_BITS=3D64 -D_REENTRANT >> native_c_compiler: ................................... gcc -D_FILE_OFFSE= T_BITS=3D64 -D_REENTRANT >> model: ............................................... default >> ext_obj: ............................................. .o >> ext_asm: ............................................. .s >> ext_lib: ............................................. .a >> ext_dll: ............................................. .so >> default_executable_name: ............................. a.out >> systhread_supported: ................................. true >> Install architecture-independent files dir: .......... /Users/dbuenzli/.= odb >> Install architecture-dependent files in dir: ......... $prefix >> User executables: .................................... $exec_prefix/bin >> System admin executables: ............................ $exec_prefix/sbin >> Program executables: ................................. $exec_prefix/libe= xec >> Read-only single-machine data: ....................... $prefix/etc >> Modifiable architecture-independent data: ............ $prefix/com >> Modifiable single-machine data: ...................... $prefix/var >> Object code libraries: ............................... $exec_prefix/lib >> Read-only arch-independent data root: ................ $prefix/share >> Read-only architecture-independent data: ............. $datarootdir >> Info documentation: .................................. $datarootdir/info >> Locale-dependent data: ............................... $datarootdir/loca= le >> Man documentation: ................................... $datarootdir/man >> Documentation root: .................................. $datarootdir/doc/= $pkg_name >> HTML documentation: .................................. $docdir >> DVI documentation: ................................... $docdir >> PDF documentation: ................................... $docdir >> PS documentation: .................................... $docdir >> findlib_version: ..................................... 1.3.2 >> is_native: ........................................... true >> suffix_program: ...................................... >> Remove a file.: ...................................... rm -f >> Remove a directory.: ................................. rm -rf >> Turn ocaml debug flag on: ............................ true >> Turn ocaml profile flag on: .......................... false >> Compiler support generation of .cmxs.: ............... true >> OCamlbuild additional flags: ......................... >> Create documentations: ............................... true >> Compile tests executable and library and run them: ... false >> camlp4o: ............................................. /usr/local/bin/ca= mlp4o >> pkg_camlp4_quotations: ............................... /usr/local/lib/oc= aml/camlp4 >> pkg_camlp4_extend: ................................... /usr/local/lib/oc= aml/camlp4 >> ocamldoc: ............................................ /usr/local/bin/oc= amldoc >> Finished, 1 target (0 cached) in 00:00:00. >> getconf: no such configuration parameter `LFS64_CFLAGS' >> + ocamlfind ocamlc -c -g -w @Aemr-28 -strict-sequence -package camlp4.qu= otations -package camlp4.extend -syntax camlp4o -I lib -o lib/pa_type_conv.= cmo lib/pa_type_conv.ml >> File "lib/pa_type_conv.ml", line 275, characters 19-1267: >> Warning 8: this pattern-matching is not exhaustive. >> Here is an example of a value that is not matched: >> (TyTypePol (_, _, _)|TyAnP _|TyAnM _) >> File "lib/pa_type_conv.ml", line 4, characters 0-11: >> Warning 33: unused open Lexing. >> File "lib/pa_type_conv.ml", line 12, characters 4-8: >> Warning 32: unused value both. >> File "lib/pa_type_conv.ml", line 1: >> Error: Error-enabled warnings (3 occurrences) >> Command exited with code 2. >> Compilation unsuccessful after building 4 targets (0 cached) in 00:00:01. >> E: Failure("Command '/usr/local/bin/ocamlbuild lib/pa_type_conv.cma -tag= debug' terminated with error code 10") >> Exception: Failure "Could not build type_conv". >> >> >> > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >