|Anonymous | Login | Signup for a new account||2017-09-25 20:49 CEST|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000075||OCaml||~DO NOT USE (was: OCaml general)||public||2000-04-02 17:37||2000-04-04 18:07|
|Status||closed||Resolution||no change required|
|Target Version||Fixed in Version|
|Summary||0000075: INSTALL doc - make installopt|
Dear Caml developers,
I'd like to suggest a small addition to the INSTALL document:
installing the native code binaries after `make opt' requires `make
installopt' - this should be mentioned under point 7) of the document.
Dr. Christian Lindig Gaertner Datensysteme GbR, Braunschweig, Germany
firstname.lastname@example.org http://www.gaertner.de/~lindig [^]
phone: +49-531 233 55 55 fax: +49-531 233 55 56
|Tags||No tags attached.|
> I'd like to suggest a small addition to the INSTALL document:
> installing the native code binaries after `make opt' requires `make
> installopt' - this should be mentioned under point 7) of the document.
The Makefile is set up so that "make install" automatically performs
"make installopt" if "ocamlopt" is present, i.e. if the native-code
compiler was successfully built. Perhaps you forgot to do "make opt"
before "make install"?
- Xavier Leroy
On Mon, Apr 03, 2000 at 02:12:45PM +0200, Xavier Leroy wrote:
> The Makefile is set up so that "make install" automatically performs
> "make installopt" if "ocamlopt" is present, i.e. if the native-code
> compiler was successfully built. Perhaps you forgot to do "make opt"
> before "make install"?
You are right:
if test -d $(BINDIR); then : ; else $(MKDIR) $(BINDIR); fi
if test -f ocamlopt; then $(MAKE) installopt; else :; fi
I had done `make opt' and `make install'. After that I had checked
for ocamlopt and missed it. So I took a look at the Makefile and
invoked installopt manually. Probably I had overlooked that ocamlopt
was already in its place. Sorry for the confusion!
Perhaps a small addition to INSTALL that `make install' will take care
of all optional parts like ocamlopt and ocamlopt.opt would still not
|2005-11-18 10:13||administrator||New Issue|
|2017-02-23 16:36||doligez||Category||OCaml general => -OCaml general|
|2017-03-03 17:55||doligez||Category||-OCaml general => -(deprecated) general|
|2017-03-03 18:01||doligez||Category||-(deprecated) general => ~deprecated (was: OCaml general)|
|2017-03-06 17:04||doligez||Category||~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)|
|Copyright © 2000 - 2011 MantisBT Group|