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

Bug description

Full_Name: Pat McGee
Version: 3.04
OS: MacOS 10.1.3
Submission from: shoal.cs.fit.edu (163.118.135.44)

The following:

make opt.opt
returns an error on MacOS 10.1.3, where on Solaris 5.8 it works OK. It also
works OK
with ocaml-3.02, where it looks like neither of them compile the module in
question.

Here's the diff between the log of MacOS (>) and Solaris (<):

66c66
< gcc -I../byterun -DNATIVE_CODE -DTARGET_sparc -DSYS_solaris -O -Wall
-Wno-unused -c meta.c

cc -I../byterun -DNATIVE_CODE -DTARGET_power -DSYS_rhapsody -O -Wall
-Wno-unused -DSHRINKED_GNUC -c -o meta.o meta.c
68c68
< gcc -I../byterun -DNATIVE_CODE -DTARGET_sparc -DSYS_solaris -O -Wall
-Wno-unused -c dynlink.c

cc -I../byterun -DNATIVE_CODE -DTARGET_power -DSYS_rhapsody -O -Wall
-Wno-unused -DSHRINKED_GNUC -c -o dynlink.o dynlink.c
70,71c70,72
< utils/misc.cmx utils/tbl.cmx utils/config.cmx utils/clflags.cmx
utils/terminfo.cmx utils/ccomp.cmx utils/warnings.cmx parsing/linenum.cmx
parsing/location.cmx parsing/longident.cmx parsing/syntaxerr.cmx
parsing/parser.cmx parsing/lexer.cmx parsing/parse.cmx parsing/printast.cmx
typing/ident.cmx typing/path.cmx typing/primitive.cmx typing/types.cmx
typing/btype.cmx typing/subst.cmx typing/predef.cmx typing/datarepr.cmx
typing/env.cmx typing/typedtree.cmx typing/ctype.cmx typing/printtyp.cmx
typing/includeclass.cmx typing/mtype.cmx typing/includecore.cmx
typing/includemod.cmx typing/parmatch.cmx typing/typetexp.cmx
typing/typecore.cmx typing/typedecl.cmx typing/typeclass.cmx
typing/typemod.cmx bytecomp/lambda.cmx bytecomp/printlambda.cmx
bytecomp/typeopt.cmx bytecomp/switch.cmx bytecomp/matching.cmx
bytecomp/translobj.cmx bytecomp/translcore.cmx bytecomp/translclass.cmx
bytecomp/translmod.cmx bytecomp/simplif.cmx bytecomp/runtimedef.cmx
bytecomp/meta.cmx bytecomp/instruct.cmx bytecomp/bytegen.cmx
bytecomp/printinstr.cmx bytecomp/opcodes.cmx bytecomp/emitcode.cmx
bytecomp/bytesections.cmx bytecomp/dll.cmx bytecomp/symtable.cmx
bytecomp/bytelibrarian.cmx bytecomp/bytelink.cmx driver/errors.cmx
driver/compile.cmx driver/main_args.cmx driver/main.cmx
< asmrun/meta.o asmrun/dynlink.o -cclib "-ldl"

      utils/misc.cmx utils/tbl.cmx utils/config.cmx utils/clflags.cmx

utils/terminfo.cmx utils/ccomp.cmx utils/warnings.cmx parsing/linenum.cmx
parsing/location.cmx parsing/longident.cmx parsing/syntaxerr.cmx
parsing/parser.cmx parsing/lexer.cmx parsing/parse.cmx parsing/printast.cmx
typing/ident.cmx typing/path.cmx typing/primitive.cmx typing/types.cmx
typing/btype.cmx typing/subst.cmx typing/predef.cmx typing/datarepr.cmx
typing/env.cmx typing/typedtree.cmx typing/ctype.cmx typing/printtyp.cmx
typing/includeclass.cmx typing/mtype.cmx typing/includecore.cmx
typing/includemod.cmx typing/parmatch.cmx typing/typetexp.cmx
typing/typecore.cmx typing/typedecl.cmx typing/typeclass.cmx typing/typemod.cmx
bytecomp/lambda.cmx bytecomp/printlambda.cmx bytecomp/typeopt.cmx
bytecomp/switch.cmx bytecomp/matching.cmx bytecomp/translobj.cmx
bytecomp/translcore.cmx bytecomp/translclass.cmx bytecomp/translmod.cmx
bytecomp/simplif.cmx bytecomp/runtimedef.cmx bytecomp/meta.cmx
bytecomp/instruct.cmx bytecomp/bytegen.cmx bytecomp/printinstr.cmx
bytecomp/opcodes.cmx bytecomp/emitcode.cmx bytecomp/bytesections.cmx
bytecomp/dll.cmx bytecomp/symtable.cmx bytecomp/bytelibrarian.cmx
bytecomp/bytelink.cmx driver/errors.cmx driver/compile.cmx driver/main_args.cmx
driver/main.cmx \

      asmrun/meta.o asmrun/dynlink.o -cclib ""

/usr/bin/ld: warning -L: directory name (/usr/local/lib/ocaml) does not exist
105c106,107
< boot/ocamlrun ./ocamlopt -I stdlib -o ocamlopt.opt utils/misc.cmx
utils/tbl.cmx utils/config.cmx utils/clflags.cmx utils/terminfo.cmx
utils/ccomp.cmx utils/warnings.cmx parsing/linenum.cmx parsing/location.cmx
parsing/longident.cmx parsing/syntaxerr.cmx parsing/parser.cmx
parsing/lexer.cmx parsing/parse.cmx parsing/printast.cmx typing/ident.cmx
typing/path.cmx typing/primitive.cmx typing/types.cmx typing/btype.cmx
typing/subst.cmx typing/predef.cmx typing/datarepr.cmx typing/env.cmx
typing/typedtree.cmx typing/ctype.cmx typing/printtyp.cmx
typing/includeclass.cmx typing/mtype.cmx typing/includecore.cmx
typing/includemod.cmx typing/parmatch.cmx typing/typetexp.cmx
typing/typecore.cmx typing/typedecl.cmx typing/typeclass.cmx
typing/typemod.cmx bytecomp/lambda.cmx bytecomp/printlambda.cmx
bytecomp/typeopt.cmx bytecomp/switch.cmx bytecomp/matching.cmx
bytecomp/translobj.cmx bytecomp/translcore.cmx bytecomp/translclass.cmx
bytecomp/translmod.cmx bytecomp/simplif.cmx bytecomp/runtimedef.cmx
asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/printcmm.cmx asmcomp/reg.cmx
asmcomp/mach.cmx asmcomp/proc.cmx asmcomp/clambda.cmx asmcomp/compilenv.cmx
asmcomp/closure.cmx asmcomp/cmmgen.cmx asmcomp/printmach.cmx
asmcomp/selectgen.cmx asmcomp/selection.cmx asmcomp/comballoc.cmx
asmcomp/liveness.cmx asmcomp/spill.cmx asmcomp/split.cmx asmcomp/interf.cmx
asmcomp/coloring.cmx asmcomp/reloadgen.cmx asmcomp/reload.cmx
asmcomp/printlinear.cmx asmcomp/linearize.cmx asmcomp/schedgen.cmx
asmcomp/scheduling.cmx asmcomp/emitaux.cmx asmcomp/emit.cmx asmcomp/asmgen.cmx
asmcomp/asmlink.cmx asmcomp/asmlibrarian.cmx driver/opterrors.cmx
driver/optcompile.cmx driver/optmain.cmx

boot/ocamlrun ./ocamlopt -I stdlib -o ocamlopt.opt utils/misc.cmx
utils/tbl.cmx utils/config.cmx utils/clflags.cmx utils/terminfo.cmx
utils/ccomp.cmx utils/warnings.cmx parsing/linenum.cmx parsing/location.cmx
parsing/longident.cmx parsing/syntaxerr.cmx parsing/parser.cmx parsing/lexer.cmx
parsing/parse.cmx parsing/printast.cmx typing/ident.cmx typing/path.cmx
typing/primitive.cmx typing/types.cmx typing/btype.cmx typing/subst.cmx
typing/predef.cmx typing/datarepr.cmx typing/env.cmx typing/typedtree.cmx
typing/ctype.cmx typing/printtyp.cmx typing/includeclass.cmx typing/mtype.cmx
typing/includecore.cmx typing/includemod.cmx typing/parmatch.cmx
typing/typetexp.cmx typing/typecore.cmx typing/typedecl.cmx typing/typeclass.cmx
typing/typemod.cmx bytecomp/lambda.cmx bytecomp/printlambda.cmx
bytecomp/typeopt.cmx bytecomp/switch.cmx bytecomp/matching.cmx
bytecomp/translobj.cmx bytecomp/translcore.cmx bytecomp/translclass.cmx
bytecomp/translmod.cmx bytecomp/simplif.cmx bytecomp/runtimedef.cmx
asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/printcmm.cmx asmcomp/reg.cmx
asmcomp/mach.cmx asmcomp/proc.cmx asmcomp/clambda.cmx asmcomp/compilenv.cmx
asmcomp/closure.cmx asmcomp/cmmgen.cmx asmcomp/printmach.cmx
asmcomp/selectgen.cmx asmcomp/selection.cmx asmcomp/comballoc.cmx
asmcomp/liveness.cmx asmcomp/spill.cmx asmcomp/split.cmx asmcomp/interf.cmx
asmcomp/coloring.cmx asmcomp/reloadgen.cmx asmcomp/reload.cmx
asmcomp/printlinear.cmx asmcomp/linearize.cmx asmcomp/schedgen.cmx
asmcomp/scheduling.cmx asmcomp/emitaux.cmx asmcomp/emit.cmx asmcomp/asmgen.cmx
asmcomp/asmlink.cmx asmcomp/asmlibrarian.cmx driver/opterrors.cmx
driver/optcompile.cmx driver/optmain.cmx
/usr/bin/ld: warning -L: directory name (/usr/local/lib/ocaml) does not exist
113a116
/usr/bin/ld: warning -L: directory name (/usr/local/lib/ocaml) does not exist
115a119
make[2]: Nothing to be done for `opt'.
148,166c152,154
< rm -f pa_r.ppo
< ../../boot/ocamlrun ../boot/camlp4r -nolib -I ../boot pa_extend.cmo
q_MLast.cmo -o pa_rp.ppo pa_rp.ml
< ../../boot/ocamlrun ../../ocamlopt -I ../../stdlib -I ../camlp4 -I ../boot -I
../../utils -c -impl pa_rp.ppo
< rm -f pa_rp.ppo
< ../../boot/ocamlrun ../boot/camlp4r -nolib -I ../boot -o pr_dump.ppo
pr_dump.ml
< ../../boot/ocamlrun ../../ocamlopt -I ../../stdlib -I ../camlp4 -I ../boot -I
../../utils -c -impl pr_dump.ppo
< rm -f pr_dump.ppo
< rm -f camlp4r.opt
< cd ../camlp4; make optp4 OTOP=../.. CAMLP4OPT=../meta/camlp4r.opt CAMLP4M="-I
../meta pa_r.cmx pa_rp.cmx pr_dump.cmx"
< ../../boot/ocamlrun ../../ocamlopt -I ../../stdlib ../odyl/odyl.cmxa
camlp4.cmxa -I ../meta pa_r.cmx pa_rp.cmx pr_dump.cmx ../odyl/odyl.cmx -linkall
-o ../meta/camlp4r.opt
< ../../boot/ocamlrun ../boot/camlp4r -nolib -I ../boot pa_extend.cmo
q_MLast.cmo -o pa_o.ppo pa_o.ml
< ../../boot/ocamlrun ../../ocamlopt -I ../../stdlib -I ../camlp4 -I ../boot -c
-impl pa_o.ppo
< rm -f pa_o.ppo
< ../../boot/ocamlrun ../boot/camlp4r -nolib -I ../boot pa_extend.cmo
q_MLast.cmo -o pa_op.ppo pa_op.ml
< ../../boot/ocamlrun ../../ocamlopt -I ../../stdlib -I ../camlp4 -I ../boot -c
-impl pa_op.ppo
< rm -f pa_op.ppo
< rm -f camlp4o.opt
< cd ../camlp4; make optp4 CAMLP4OPT=../etc/camlp4o.opt CAMLP4M="-I ../etc
pa_o.cmx pa_op.cmx ../meta/pr_dump.cmx"
< ../../boot/ocamlrun ../../ocamlopt -I ../../stdlib ../odyl/odyl.cmxa
camlp4.cmxa -I ../etc pa_o.cmx pa_op.cmx ../meta/pr_dump.cmx ../odyl/odyl.cmx
-linkall -o ../etc/camlp4o.opt

make[2]: *** [pa_r.cmx] Error 139
make[1]: *** [optp4] Error 2
make: *** [camlp4optopt] Error 2

I don't program in ocaml. I only used it in order to compile an open source
program
that I wanted to use. So, if you have questions, please make them very
detailed.