You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4225 Reporter: gerd Assigned to: ertai Status: closed (set by @xavierleroy on 2009-03-31T11:06:07Z) Resolution: fixed Priority: high Severity: minor Version: 3.10+dev Fixed in version: 3.10.0 Category: ~DO NOT USE (was: OCaml general) Related to:#4255 Monitored by: ertai
Bug description
In previous versions of ocaml it was possible to do a staged installation by setting PREFIX (or the triple BINDIR, LIBDIR, MANDIR) when installing ocaml, like in
make install PREFIX=stagedir
This is no longer possible in 3.10 because camlp4 and ocamlbuild are installed from a shell script that directly sources config/config.sh to get these variables, and overriding on the command line has no effect.
Of course, this is an undocumented feature, but nevertheless worth keeping it. All packagers will be thankful if this could be fixed.
Additional information
The fix could be to pass PREFIX, BINDIR, LIBDIR, MANDIR explicitly from Makefile to the script.
The text was updated successfully, but these errors were encountered:
Original bug ID: 4225
Reporter: gerd
Assigned to: ertai
Status: closed (set by @xavierleroy on 2009-03-31T11:06:07Z)
Resolution: fixed
Priority: high
Severity: minor
Version: 3.10+dev
Fixed in version: 3.10.0
Category: ~DO NOT USE (was: OCaml general)
Related to: #4255
Monitored by: ertai
Bug description
In previous versions of ocaml it was possible to do a staged installation by setting PREFIX (or the triple BINDIR, LIBDIR, MANDIR) when installing ocaml, like in
make install PREFIX=stagedir
This is no longer possible in 3.10 because camlp4 and ocamlbuild are installed from a shell script that directly sources config/config.sh to get these variables, and overriding on the command line has no effect.
Of course, this is an undocumented feature, but nevertheless worth keeping it. All packagers will be thankful if this could be fixed.
Additional information
The fix could be to pass PREFIX, BINDIR, LIBDIR, MANDIR explicitly from Makefile to the script.
The text was updated successfully, but these errors were encountered: