Re: [was: [Caml-list] [ANN] oasis v0.3.0: Architecture for building OCaml libraries and applications] Pb with type_conv

[Damien Doligez <damien.doligez@inria.fr>]

I think I'm the one to blame here: I chose the @ character for
this purpose.

A workaround for the authors of the original software (and indeed
a portability note for all OCaml software):

Instead of "-w @Aemr-28", you can use "-w A@Aemr-28", which will
do exactly the same thing, without triggering the bug.  Just avoid
having the @ at the beginning of the argument.

-- Damien



On 2012-07-02, at 15:01, Gabriel Scherer wrote:

> I react to "the @ issue on Windows", because I'm the one to blame in this case.
> 
> This was discussed on the OCaml bug tracker (
> http://caml.inria.fr/mantis/view.php?id=5312 ) 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 <sylvain@le-gall.net> wrote:
>> Hi,
>> 
>> 2012/7/2 Daniel Bünzli <daniel.buenzli@erratique.ch>:
>>> 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 that 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/ocamlfind
>>> ocamlc: .............................................. /usr/local/bin/ocamlc.opt
>>> ocamlopt: ............................................ /usr/local/bin/ocamlopt.opt
>>> ocamlbuild: .......................................... /usr/local/bin/ocamlbuild
>>> 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/ocaml
>>> standard_library: .................................... /usr/local/lib/ocaml
>>> standard_runtime: .................................... /usr/local/bin/ocamlrun
>>> bytecomp_c_compiler: ................................. gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
>>> native_c_compiler: ................................... gcc -D_FILE_OFFSET_BITS=64 -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/libexec
>>> 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/locale
>>> 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/camlp4o
>>> pkg_camlp4_quotations: ............................... /usr/local/lib/ocaml/camlp4
>>> pkg_camlp4_extend: ................................... /usr/local/lib/ocaml/camlp4
>>> ocamldoc: ............................................ /usr/local/bin/ocamldoc
>>> 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.quotations -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
>> 
> 
> -- 
> 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