[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [PATCH v1 1/1] ocaml/libs: Remove xsd_glue_dev package, also install plugin_interface_v1.a
On Wed, Oct 9, 2024 at 4:15 PM Andrii Sultanov <andrii.sultanov@xxxxxxxxx> wrote: > > xsd_glue_dev packaging is inconsistent with the rest of OCaml packages > and isn't actually necessary. .a is needed alongside compiled bytecode Being singular, should not be "The <NAME>.a is needed "... ? Or are there multiple archive files? > files during linking and was missed in the initial oxenstore plugin > work. > > Specify OCAMLCFLAGS along with OCAMLOPTFLAGS. > > Signed-off-by: Andrii Sultanov <andrii.sultanov@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 Frediano
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |