Add dune_version field for libraries
This field is necessary to know how to generate .dune files for a particular library. Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
parent
9005ca8998
commit
22cf958b0c
|
@ -732,6 +732,7 @@ module Library = struct
|
||||||
; project : Dune_project.t
|
; project : Dune_project.t
|
||||||
; sub_systems : Sub_system_info.t Sub_system_name.Map.t
|
; sub_systems : Sub_system_info.t Sub_system_name.Map.t
|
||||||
; no_keep_locs : bool
|
; no_keep_locs : bool
|
||||||
|
; dune_version : Syntax.Version.t
|
||||||
}
|
}
|
||||||
|
|
||||||
let t =
|
let t =
|
||||||
|
@ -763,6 +764,7 @@ module Library = struct
|
||||||
field_b "no_keep_locs" >>= fun no_keep_locs ->
|
field_b "no_keep_locs" >>= fun no_keep_locs ->
|
||||||
Sub_system_info.record_parser () >>= fun sub_systems ->
|
Sub_system_info.record_parser () >>= fun sub_systems ->
|
||||||
Dune_project.get_exn () >>= fun project ->
|
Dune_project.get_exn () >>= fun project ->
|
||||||
|
Syntax.get_exn Stanza.syntax >>= fun dune_version ->
|
||||||
return
|
return
|
||||||
{ name
|
{ name
|
||||||
; public
|
; public
|
||||||
|
@ -786,6 +788,7 @@ module Library = struct
|
||||||
; project
|
; project
|
||||||
; sub_systems
|
; sub_systems
|
||||||
; no_keep_locs
|
; no_keep_locs
|
||||||
|
; dune_version
|
||||||
})
|
})
|
||||||
|
|
||||||
let has_stubs t =
|
let has_stubs t =
|
||||||
|
|
|
@ -206,6 +206,7 @@ module Library : sig
|
||||||
; project : Dune_project.t
|
; project : Dune_project.t
|
||||||
; sub_systems : Sub_system_info.t Sub_system_name.Map.t
|
; sub_systems : Sub_system_info.t Sub_system_name.Map.t
|
||||||
; no_keep_locs : bool
|
; no_keep_locs : bool
|
||||||
|
; dune_version : Syntax.Version.t
|
||||||
}
|
}
|
||||||
|
|
||||||
val has_stubs : t -> bool
|
val has_stubs : t -> bool
|
||||||
|
|
Loading…
Reference in New Issue