Original bug ID: 1424
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Hugo Herbelin
Version: 3,06 for Windows
OS: Windows NT + cygwin
Submission from: oto.inria.fr (192.93.2.2)

Bonjour,

The command ocamlmktop of ocaml 3.06 for Windows fails when the
number of object files on the command line exceeds a certain limit
(the limit is roughly 150, apparently depending also of some other
parameters, perhaps the length of the paths, but at least not the
number of options). The same script on Unix works.

When calling ocamlc with toplevellib.cma and topstart.cmo, it
works. Moreover the error message (ocamlc: don't know what to do
with "-custom") shows double quotes (is it normal ?). That lets me
suspect a wrong Filename.quote function under Windows. Is so, good
luck.

A trace follows.

Hugo Herbelin

PS: By the way, there is a problem with extract_crc under NT/cygwin:
System.command refuses to execute extract_crc because it is installed
without .exe extension.

ocamlmktop -custom -linkall -linkall -cclib -lunix -I config -I tools -I scripts
-I lib -I kernel -I library -I proofs -I tactics -I pretyping -I parsing -I
toplevel -I contrib/omega -I contrib/romega -I contrib/ring -I contrib/xml -I
contrib/extraction -I contrib/correctness -I contrib/interface -I
contrib/fourier -I contrib/jprover -o bin/coqtop.byte.exe -I
c:\V7\distrib\i386\coq-7.3.1 -I c:\V7\distrib\i386\coq-7.3.1\config -I
c:\V7\distrib\i386\coq-7.3.1\toplevel -I c:\ocaml\lib\camlp4 unix.cma
gramlib.cma coq_config.cmo lib/pp_control.cmo lib/pp.cmo lib/util.cmo
lib/hashcons.cmo lib/dyn.cmo lib/system.cmo lib/options.cmo lib/bstack.cmo
lib/edit.cmo lib/gset.cmo lib/gmap.cmo lib/tlm.cmo lib/bij.cmo lib/gmapl.cmo
lib/profile.cmo lib/explore.cmo lib/predicate.cmo lib/rtree.cmo kernel/names.cmo
kernel/univ.cmo kernel/esubst.cmo kernel/term.cmo kernel/sign.cmo
kernel/declarations.cmo kernel/environ.cmo kernel/closure.cmo
kernel/conv_oracle.cmo kernel/reduction.cmo kernel/type_errors.cmo
kernel/inductive.cmo kernel/typeops.cmo kernel/indtypes.cmo kernel/cooking.cmo
kernel/safe_typing.cmo library/nameops.cmo library/libobject.cmo
library/summary.cmo library/nametab.cmo library/lib.cmo library/global.cmo
library/goptions.cmo library/library.cmo library/states.cmo library/impargs.cmo
library/declare.cmo pretyping/termops.cmo pretyping/evd.cmo
pretyping/instantiate.cmo pretyping/reductionops.cmo pretyping/inductiveops.cmo
pretyping/rawterm.cmo pretyping/detyping.cmo pretyping/retyping.cmo
pretyping/cbv.cmo pretyping/tacred.cmo pretyping/pretype_errors.cmo
pretyping/typing.cmo pretyping/classops.cmo pretyping/recordops.cmo
pretyping/indrec.cmo pretyping/evarutil.cmo pretyping/evarconv.cmo
pretyping/coercion.cmo pretyping/cases.cmo pretyping/pretyping.cmo
pretyping/syntax_def.cmo pretyping/pattern.cmo parsing/lexer.cmo
parsing/coqast.cmo parsing/pcoq.cmo parsing/ast.cmo parsing/termast.cmo
parsing/astterm.cmo parsing/coqlib.cmo parsing/g_prim.cmo
parsing/g_basevernac.cmo parsing/g_vernac.cmo parsing/g_proofs.cmo
parsing/g_tactic.cmo parsing/g_ltac.cmo parsing/g_constr.cmo parsing/g_cases.cmo
parsing/extend.cmo parsing/esyntax.cmo parsing/printer.cmo parsing/prettyp.cmo
parsing/search.cmo parsing/egrammar.cmo parsing/g_natsyntax.cmo
parsing/g_zsyntax.cmo parsing/g_rsyntax.cmo proofs/proof_type.cmo
proofs/proof_trees.cmo proofs/logic.cmo proofs/refiner.cmo
proofs/evar_refiner.cmo proofs/tacmach.cmo proofs/clenv.cmo proofs/pfedit.cmo
proofs/tactic_debug.cmo proofs/tacinterp.cmo tactics/dn.cmo tactics/termdn.cmo
tactics/btermdn.cmo tactics/nbtermdn.cmo tactics/hipattern.cmo
tactics/wcclausenv.cmo tactics/tacticals.cmo tactics/tactics.cmo
tactics/tacentries.cmo tactics/hiddentac.cmo tactics/elim.cmo dynlink.cma
toplevel/himsg.cmo toplevel/cerrors.cmo toplevel/metasyntax.cmo
toplevel/command.cmo toplevel/class.cmo toplevel/record.cmo
toplevel/recordobj.cmo toplevel/discharge.cmo toplevel/vernacinterp.cmo
toplevel/mltop.cmo toplevel/vernac.cmo toplevel/vernacentries.cmo
toplevel/line_oriented_parser.cmo toplevel/protectedtoplevel.cmo
toplevel/toplevel.cmo toplevel/usage.cmo toplevel/coqinit.cmo
toplevel/coqtop.cmo tactics/dhyp.cmo tactics/auto.cmo tactics/setoid_replace.cmo
tactics/equality.cmo tactics/inv.cmo tactics/leminv.cmo tactics/eauto.cmo
tactics/autorewrite.cmo tactics/refine.cmo tactics/eqdecide.cmo
tactics/tauto.cmo contrib/omega/omega.cmo contrib/omega/coq_omega.cmo
contrib/romega/const_omega.cmo contrib/romega/refl_omega.cmo
contrib/ring/quote.cmo contrib/ring/ring.cmo contrib/field/field.cmo
contrib/xml/xml.cmo contrib/xml/xmlcommand.cmo contrib/xml/xmlentries.cmo
contrib/fourier/fourier.cmo contrib/fourier/fourierR.cmo
contrib/extraction/table.cmo contrib/extraction/mlutil.cmo
contrib/extraction/ocaml.cmo contrib/extraction/haskell.cmo
contrib/extraction/extraction.cmo contrib/extraction/common.cmo
contrib/extraction/extract_env.cmo contrib/correctness/pmisc.cmo
contrib/correctness/peffect.cmo contrib/correctness/prename.cmo
contrib/correctness/perror.cmo contrib/correctness/penv.cmo
contrib/correctness/putil.cmo contrib/correctness/pdb.cmo
contrib/correctness/pcic.cmo contrib/correctness/pmonad.cmo
contrib/correctness/pcicenv.cmo contrib/correctness/pred.cmo
contrib/correctness/ptyping.cmo contrib/correctness/pwp.cmo
contrib/correctness/pmlize.cmo contrib/correctness/ptactic.cmo
contrib/correctness/psyntax.cmo contrib/jprover/opname.cmo
contrib/jprover/jterm.cmo contrib/jprover/jlogic.cmo contrib/jprover/jtunify.cmo
contrib/jprover/jall.cmo contrib/jprover/jprover.cmo camlp4_top.cma pa_o.cmo
pa_op.cmo pa_extend.cmo q_coqast.cmo c:\TEMP\coqmaina58bc2.ml

ocamlc: don't know what to do with "-custom".

Usage: ocamlc

Options are:

-a Build a library

-c Compile only (do not link)

-cc Use as the C compiler and linker

-cclib Pass option to the C linker

-ccopt Pass option to the C compiler and linker

-custom Link in custom mode

-dllib Use the dynamically-loaded library

-dllpath

-g Save debugging information

-i Print the types

-I

-impl Compile as a .ml file

-intf Compile as a .mli file

-intf-suffix Suffix for interface files (default: .mli)

-intf_suffix (deprecated) same as -intf-suffix

-labels Use commuting label mode

-linkall Link all modules, even unused ones

-make-runtime Build a runtime system with given C objects and libraries

-make_runtime (deprecated) same as -make-runtime

-modern (deprecated) same as -labels

-noassert Don't compile assertion checks

-noautolink Don't automatically link C libraries specified in .cma files

-nolabels Ignore non-optional labels in types

-nostdlib do not add default directory to the list of include directories

-o Set output file name to

-output-obj Output a C object file instead of an executable

-pack Package the given .cmo files into one .cmo

-pp Pipe sources through preprocessor

-principal Check principality of type inference

-rectypes Allow arbitrary recursive types

-thread Use thread-safe standard library

-unsafe No bounds checking on array and string access

-use-runtime Generate bytecode for the given runtime system

-use_runtime (deprecated) same as -use-runtime

-v Print compiler version and location of standard library and exit

-version Print compiler version and exit

-verbose Print calls to external commands

-w Enable or disable warnings according to :

 A/a enable/disable all warnings

 C/c enable/disable suspicious comment

 D/d enable/disable deprecated features

 F/f enable/disable partially applied function

 L/l enable/disable labels omitted in application

 M/m enable/disable overriden method

 P/p enable/disable partial match

 S/s enable/disable non-unit statement

 U/u enable/disable unused match case

 V/v enable/disable hidden instance variable

 X/x enable/disable all other warnings

 default setting is "Al" (all warnings but labels enabled)

-warn-error Treat the warnings enabled by as errors.

 See option -w for the list of flags.

 Default setting is "a" (warnings are not errors)

-where Print location of standard library and exit

-nopervasives (undocumented)

-dparsetree (undocumented)

-drawlambda (undocumented)

-dlambda (undocumented)

-dinstr (undocumented)

-use-prims (undocumented)

• Treat as a file name (even if it starts with `-')

-help display this list of options

--help display this list of options

make: *** [bin/coqtop.byte.exe] Error 2