projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da74c95) | patch
tools/ocaml/*/Makefile: generate paths.ml from configure
authorEdwin Török <edvin.torok@citrix.com>
Fri, 29 Jul 2022 17:53:25 +0000 (18:53 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 5 Aug 2022 16:30:08 +0000 (17:30 +0100)
commitd91312bfe72f06bb1a555fcb19dfc3e7e141014d
tree48ddceb66e26801005ce6b698d39f3f07ea17de5tree | snapshot
parentda74c951e4e58080583daaad373b0d38a3f8bc83commit | diff
tools/ocaml/*/Makefile: generate paths.ml from configure

paths.ml contains various paths known to configure, and currently is generated
via a Makefile rule.  Simplify this and generate it through configure, similar
to how oxenstored.conf is generated from oxenstored.conf.in.

This will allow to reuse the generated file more easily with Dune.

No functional change.

Signed-off-by: Edwin Török <edvin.torok@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/configure diff | blob | history
tools/configure.ac diff | blob | history
tools/ocaml/Makefile.rules diff | blob | history
tools/ocaml/libs/xs/Makefile diff | blob | history
tools/ocaml/libs/xs/paths.ml.in [new file with mode: 0644] blob
tools/ocaml/xenstored/Makefile diff | blob | history
tools/ocaml/xenstored/paths.ml.in [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.