]> git.pld-linux.org Git - packages/xen.git/blame - ocaml-4.12.patch
- more gcc10 patch updates
[packages/xen.git] / ocaml-4.12.patch
CommitLineData
9157dbbf
JR
1--- xen-4.14.1/tools/ocaml/libs/xentoollog/xentoollog_stubs.c.orig 2020-12-17 16:47:25.000000000 +0000
2+++ xen-4.14.1/tools/ocaml/libs/xentoollog/xentoollog_stubs.c 2021-03-01 22:53:23.106205483 +0000
3@@ -53,8 +53,6 @@
4 #include "_xtl_levels.inc"
5
6 /* Option type support as per http://www.linux-nantes.org/~fmonnier/ocaml/ocaml-wrapping-c.php */
7-#define Val_none Val_int(0)
8-#define Some_val(v) Field(v,0)
9
10 static value Val_some(value v)
11 {
12--- xen-4.14.1/tools/ocaml/libs/xl/xenlight_stubs.c.orig 2020-12-17 16:47:25.000000000 +0000
13+++ xen-4.14.1/tools/ocaml/libs/xl/xenlight_stubs.c 2021-03-01 23:01:24.229859714 +0000
14@@ -227,8 +227,6 @@
15 }
16
17 /* Option type support as per http://www.linux-nantes.org/~fmonnier/ocaml/ocaml-wrapping-c.php */
18-#define Val_none Val_int(0)
19-#define Some_val(v) Field(v,0)
20
21 static value Val_some(value v)
22 {
23--- xen-4.14.1/tools/ocaml/libs/xc/xenctrl_stubs.c.orig 2020-12-17 16:47:25.000000000 +0000
24+++ xen-4.14.1/tools/ocaml/libs/xc/xenctrl_stubs.c 2021-03-01 23:24:45.477290290 +0000
25@@ -43,8 +43,6 @@
26 #define _H(__h) ((xc_interface *)(__h))
27 #define _D(__d) ((uint32_t)Int_val(__d))
28
29-#define Val_none (Val_int(0))
30-
31 #define string_of_option_array(array, index) \
32 ((Field(array, index) == Val_none) ? NULL : String_val(Field(Field(array, index), 0)))
33
34--- xen-4.13.1/tools/ocaml/common.make~ 2020-05-14 14:19:32.000000000 +0200
35+++ xen-4.13.1/tools/ocaml/common.make 2021-03-26 11:08:01.558827358 +0100
36@@ -9,7 +9,7 @@
37 OCAMLYACC ?= ocamlyacc
38 OCAMLFIND ?= ocamlfind
39
40-CFLAGS += -fPIC -Werror -I$(shell ocamlc -where)
41+CFLAGS += -fPIC -I$(shell ocamlc -where)
42
43 OCAMLOPTFLAG_G := $(shell $(OCAMLOPT) -h 2>&1 | sed -n 's/^ *\(-g\) .*/\1/p')
44 OCAMLOPTFLAGS = $(OCAMLOPTFLAG_G) -ccopt "$(LDFLAGS)" -dtypes $(OCAMLINCLUDE) -cc $(CC) -w F -warn-error F
This page took 0.112866 seconds and 4 git commands to generate.