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: 1804 Reporter: administrator Assigned to:@xavierleroy Status: closed (set by @xavierleroy on 2015-12-11T18:04:40Z) Resolution: fixed Priority: normal Severity: feature Fixed in version: 4.00.0+dev Category: ~DO NOT USE (was: OCaml general) Has duplicate:#8343 Monitored by: nogin
Bug description
Full_Name: Aleksey Nogin
Version: 3.06, 3.07beta2
OS: Red Hat Linux
Submission from: mojave1.cs.caltech.edu (131.215.44.186)
In order to create a custom Ocaml toploop and to be able to manipulate it
successfuly, one needs access to a bunch of interface files that are not
normally copied into LIBDIR by ocaml's "make install". For example, to be able
to compile code that uses Toplevel.execute_phrase, one needs access to
parsetree.cmi...
to LIBDIR. Would you please consider modifying the "install" target in the
Makefile to copy these files (and may be other interface files needed to take
full advantage of Toploop module - such as env.{mli,cmi}, for example) somewhere
under LIBDIR?
Thanks a lot!
The text was updated successfully, but these errors were encountered:
Original bug ID: 1804
Reporter: administrator
Assigned to: @xavierleroy
Status: closed (set by @xavierleroy on 2015-12-11T18:04:40Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 4.00.0+dev
Category: ~DO NOT USE (was: OCaml general)
Has duplicate: #8343
Monitored by: nogin
Bug description
Full_Name: Aleksey Nogin
Version: 3.06, 3.07beta2
OS: Red Hat Linux
Submission from: mojave1.cs.caltech.edu (131.215.44.186)
In order to create a custom Ocaml toploop and to be able to manipulate it
successfuly, one needs access to a bunch of interface files that are not
normally copied into LIBDIR by ocaml's "make install". For example, to be able
to compile code that uses Toplevel.execute_phrase, one needs access to
parsetree.cmi...
Currently (see http://cvs.metaprl.org:12000/cvsweb/metaprl/editor/ml/shell_p4.ml?rev=HEAD&content-type=text/x-cvsweb-markup
for the code of the file that manipulates the toploop) we end up having to
manually copy the files:
parsing/location.cmi parsing/location.mli parsing/longident.cmi
parsing/longident.mli parsing/parsetree.cmi parsing/parsetree.mli
typing/typecore.cmi typing/typecore.mli
to LIBDIR. Would you please consider modifying the "install" target in the
Makefile to copy these files (and may be other interface files needed to take
full advantage of Toploop module - such as env.{mli,cmi}, for example) somewhere
under LIBDIR?
Thanks a lot!
The text was updated successfully, but these errors were encountered: