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

[Gabriel Scherer <gabriel.scherer@gmail.com>]

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
>