Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005278OCamlOCamlbuild (the tool)public2011-05-23 18:062015-12-11 19:08
Assigned Toxclerc 
PlatformOSOS Version
Product Version3.12.0 
Target Version4.00.1+devFixed in Version 
Summary0005278: [make opt] does not install ocamlbuild.cmx
DescriptionWhen compiling with [make world opt], [make install] does not install ocamlbuild.cmx. When compiling with [make world opt.opt], this file is installed properly. It seems this should be installed in both cases.
Additional InformationOthers having same problem: [^]
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
doligez (administrator)
2012-07-10 15:00

Not sure this is a bug. "make opt" means "build the ocamlopt compiler". "make opt.opt" means "build ocamlopt-compiled versions of all the tools".
thelema (reporter)
2012-07-10 15:49

The defaultentry in the Makefile echoes the following:

    @echo "Please refer to the installation instructions in file INSTALL."
    @echo "If you've just unpacked the distribution, something like"
    @echo " ./configure"
    @echo " make world"
    @echo " make opt"
    @echo " make install"
    @echo "should work. But see the file INSTALL for more details."

This suggested build sequence causes the problem I noted, and maybe should be changed.
doligez (administrator)
2012-09-17 18:25

I confirm that "make opt" is not supposed to build the native-code version of ocamlbuild.
I have updated the Makefile to mention "make world.opt", which will build it. (r 12929 and 12930)

- Issue History
Date Modified Username Field Change
2011-05-23 18:06 thelema New Issue
2011-06-01 23:41 doligez Status new => acknowledged
2011-06-06 13:03 xclerc Status acknowledged => assigned
2011-06-06 13:03 xclerc Assigned To => xclerc
2012-02-02 15:17 protz Category OCamlbuild => OCamlbuild (the tool)
2012-07-10 15:00 doligez Note Added: 0007685
2012-07-10 15:00 doligez Target Version => 4.01.0+dev
2012-07-10 15:49 thelema Note Added: 0007688
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-17 18:25 doligez Note Added: 0008100
2012-09-17 18:25 doligez Status assigned => resolved
2012-09-17 18:25 doligez Resolution open => fixed
2015-12-11 19:08 xleroy Status resolved => closed

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker