|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [xen staging] ocaml/libs: Remove xsd_glue_dev package, package plugin_interface_v1.a
commit a592c98f94a1a58838acd3f4cc8b55132b1061c0
Author: Andrii Sultanov <andrii.sultanov@xxxxxxxxx>
AuthorDate: Wed Oct 9 16:15:20 2024 +0100
Commit: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Thu Oct 10 13:48:12 2024 +0100
ocaml/libs: Remove xsd_glue_dev package, package plugin_interface_v1.a
xsd_glue_dev packaging is inconsistent with the rest of OCaml packages and
isn't actually necessary. The .a is needed alongside compiled bytecode files
during linking and was missed in the initial oxenstored plugin work.
Specify OCAMLCFLAGS along with OCAMLOPTFLAGS.
Signed-off-by: Andrii Sultanov <andrii.sultanov@xxxxxxxxx>
Acked-by: Christian Lindig <christian.lindig@xxxxxxxxx>
---
tools/ocaml/libs/xsd_glue/Makefile | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/tools/ocaml/libs/xsd_glue/Makefile
b/tools/ocaml/libs/xsd_glue/Makefile
index f84291f7fe..be68642968 100644
--- a/tools/ocaml/libs/xsd_glue/Makefile
+++ b/tools/ocaml/libs/xsd_glue/Makefile
@@ -5,6 +5,7 @@ include $(OCAML_TOPLEVEL)/common.make
SUBDIRS= domain_getinfo_plugin_v1
CFLAGS += $(CFLAGS_xeninclude)
+OCAMLCFLAGS += -opaque
OCAMLOPTFLAGS += -opaque
OBJS = plugin_interface_v1
@@ -28,14 +29,11 @@ OCAML_NOC_LIBRARY = plugin_interface_v1
install: $(LIBS) META subdirs-install
mkdir -p $(OCAMLDESTDIR)
$(OCAMLFIND) remove -destdir $(OCAMLDESTDIR) xsd_glue
- $(OCAMLFIND) install -destdir $(OCAMLDESTDIR) -ldconf ignore xsd_glue
META $(INTF) $(LIBS)
- $(OCAMLFIND) remove -destdir $(OCAMLDESTDIR) xsd_glue_dev
- $(OCAMLFIND) install -destdir $(OCAMLDESTDIR) -ldconf ignore
xsd_glue_dev META $(INTF) $(LIBS) *.ml *.mli
+ $(OCAMLFIND) install -destdir $(OCAMLDESTDIR) -ldconf ignore xsd_glue
META $(INTF) $(LIBS) *.a
.PHONY: uninstall
uninstall: subdirs-uninstall
$(OCAMLFIND) remove -destdir $(OCAMLDESTDIR) xsd_glue
- $(OCAMLFIND) remove -destdir $(OCAMLDESTDIR) xsd_glue_dev
.PHONY: clean
clean: subdirs-clean
--
generated by git-patchbot for /home/xen/git/xen.git#staging
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |