OCaml Forge

Detail: [#741] OASIS puts full paths in setup.ml

Bugs: Browse | Download .csv | Monitor

[#741] OASIS puts full paths in setup.ml

Date:
2010-09-07 10:11
Priority:
3
State:
Closed
Submitted by:
ygrek (ygrek)
Assigned to:
Sylvain Le Gall (gildor-admin)
Product:
OASIS
Due in version:
0.2.1
Resolution:
Accepted As Bug
Severity:
normal
Version:
0.2.0
Component:
OASIS
Operating System:
None
 
URL:
Summary:
OASIS puts full paths in setup.ml

Detailed description
(* setup.ml generated for the first time by OASIS v0.2.0~alpha1 *)

(* OASIS_START *)
(* DO NOT EDIT (digest: 8313a40cd95c34db24e71587c1bf9e04) *)
(*
Regenerated by OASIS v0.2.0~alpha1
Visit http://oasis.forge.ocamlcore.org for more information and
documentation about functions used in this file.
*)
module OASISGettext = struct
# 21 "/home/ygrek/work/contrib/oasis/src/oasis/OASISGettext.ml"

This is unfortunate cause different builds of OASIS (say different developers on different machines) will cause lots of meaningless changes when committing code.
Solution: use paths relative to the oasis source directory or do not embed any paths at all.
BTW the issue will still manifest itself if different OASIS versions are used in a single project

Followup

Message
Date: 2013-06-18 21:00
Sender: Sylvain Le Gall

Fixed in ocamlmod 0.0.4.
Date: 2012-05-19 16:11
Sender: ygrek

Any plans on this one? I guess this is now the ocamlmod's responsibility..
Date: 2011-04-15 13:37
Sender: ygrek

For the record, here is what I am currently using :

<code>
--- old-oasis/src/tools/ocamlmod.ml 2011-04-15 16:36:42.000000000 +0300
+++ new-oasis/src/tools/ocamlmod.ml 2011-04-15 16:36:42.000000000 +0300
@@ -25,6 +25,7 @@

let dump_ml chn_out fn =
(* filename that should be used to point to source file *)
+(*
let real_fn =
let pwd =
FileUtil.pwd ()
@@ -40,6 +41,8 @@
in
FileUtil.readlink (FilePath.make_absolute pwd fn)
in
+*)
+ let real_fn = fn in

let () =
(* Warn if not a .ml file *)
</code>
Date: 2010-11-01 11:06
Sender: Sylvain Le Gall

Extra suggestion:

Make path relative to ./oasis-src. If you want to debug, you should make a link between your dev tree and the real oasis source tree.
Date: 2010-09-08 07:58
Sender: Sylvain Le Gall

yes and yes.

But since OASIS is quite young, it is really useful for debugging.
Date: 2010-09-08 07:41
Sender: ygrek

i.e. by default there will be no paths? - then it is fine with me. IIUC those paths are needed only for development of OASIS itself?
Date: 2010-09-07 12:22
Sender: Sylvain Le Gall

I think I should define an option to use it or not.

Something OASIS setup -modeline (false by default)

(#21 "/home" is a modeline ?)

Attached Files:

Changes:

Field Old Value Date By
status_idOpen2013-06-18 21:00gildor-admin
close_dateNone2013-06-18 21:00gildor-admin
Due in versionNone2011-11-23 21:51gildor-admin
assigned_tonone2010-09-07 12:22gildor-admin
Severitymajor2010-09-07 12:22gildor-admin
ResolutionNone2010-09-07 12:22gildor-admin