diff options
Diffstat (limited to 'dev-ml')
6 files changed, 0 insertions, 105 deletions
diff --git a/dev-ml/num/files/num-1.3-cflags.patch b/dev-ml/num/files/num-1.3-cflags.patch deleted file mode 100644 index 771455c4f724..000000000000 --- a/dev-ml/num/files/num-1.3-cflags.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/src/Makefile 2020-05-21 18:54:31.176399032 +0200 -+++ b/src/Makefile 2020-05-21 18:55:27.881498310 +0200 -@@ -65,7 +65,7 @@ - %.cmx: %.ml - $(OCAMLOPT) $(CAMLOPTFLAGS) -c $*.ml - %.$(O): %.c -- $(OCAMLC) -ccopt -DBNG_ARCH_$(BNG_ARCH) -c $*.c -+ $(OCAMLC) -ccopt "-DBNG_ARCH_$(BNG_ARCH) $(CFLAGS)" -c $*.c - - # Legacy installation: files go into OCaml's stdlib directory; only META - # is installed via findlib diff --git a/dev-ml/num/files/num-1.4-ocamlopt.patch b/dev-ml/num/files/num-1.4-ocamlopt.patch deleted file mode 100644 index 6db5015e1d9a..000000000000 --- a/dev-ml/num/files/num-1.4-ocamlopt.patch +++ /dev/null @@ -1,27 +0,0 @@ ---- a/src/Makefile 2022-01-12 19:58:54.655901110 +0100 -+++ b/src/Makefile 2022-01-12 19:59:25.446339664 +0100 -@@ -33,11 +33,10 @@ - - all:: libnums.$(A) nums.cma - -+ifeq "$(NATDYNLINK)" "true" - ifneq "$(ARCH)" "none" - all:: nums.cmxa - endif -- --ifeq "$(NATDYNLINK)" "true" - all:: nums.cmxs - endif - -@@ -70,10 +70,10 @@ - # is installed via findlib - - TOINSTALL=nums.cma libnums.$(A) $(CMIS) $(CMIS:.cmi=.mli) $(CMIS:.cmi=.cmti) -+ifeq "$(NATDYNLINK)" "true" - ifneq "$(ARCH)" "none" - TOINSTALL+=nums.cmxa nums.$(A) $(CMXS) - endif --ifeq "$(NATDYNLINK)" "true" - TOINSTALL+=nums.cmxs - endif - ifeq "$(SUPPORTS_SHARED_LIBRARIES)" "true" diff --git a/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch b/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch deleted file mode 100644 index 580af9eb4b76..000000000000 --- a/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch +++ /dev/null @@ -1,23 +0,0 @@ -From ce7bcca13aff40dd667e231fc0892c8753d0fc94 Mon Sep 17 00:00:00 2001 -From: Carl Eastlund <ceastlund@janestreet.com> -Date: Thu, 19 Jan 2023 12:20:01 -0500 -Subject: [PATCH] Stop using [Ppxlib.File_path]. - -Signed-off-by: Carl Eastlund <ceastlund@janestreet.com> ---- - src/ppx_bench.ml | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/src/ppx_bench.ml b/src/ppx_bench.ml -index 0c027e8..b825997 100644 ---- a/src/ppx_bench.ml -+++ b/src/ppx_bench.ml -@@ -49,7 +49,7 @@ let maybe_drop loc code = - ;; - - let descr (loc : Location.t) ?(inner_loc = loc) () = -- let filename = File_path.get_default_path loc in -+ let filename = loc.loc_start.pos_fname in - let line = loc.loc_start.pos_lnum in - let start_pos = loc.loc_start.pos_cnum - loc.loc_start.pos_bol in - let end_pos = inner_loc.Location.loc_end.pos_cnum - loc.loc_start.pos_bol in diff --git a/dev-ml/ppx_deriving_yojson/files/ppx_deriving_yojson-3.6.1-src_test_dune-ounit2.patch b/dev-ml/ppx_deriving_yojson/files/ppx_deriving_yojson-3.6.1-src_test_dune-ounit2.patch deleted file mode 100644 index fe5bcab48afc..000000000000 --- a/dev-ml/ppx_deriving_yojson/files/ppx_deriving_yojson-3.6.1-src_test_dune-ounit2.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- a/src_test/dune -+++ b/src_test/dune -@@ -1,6 +1,6 @@ - (executable - (name test_ppx_yojson) -- (libraries oUnit result) -+ (libraries ounit2 result) - (preprocess (pps ppx_deriving.show ppx_deriving_yojson)) - (flags (:standard -w -9-39-27-34-37))) - diff --git a/dev-ml/ppx_inline_test/files/ppx_inline_test-0.15.0-pr39.patch b/dev-ml/ppx_inline_test/files/ppx_inline_test-0.15.0-pr39.patch deleted file mode 100644 index 39c5a9c8ca0a..000000000000 --- a/dev-ml/ppx_inline_test/files/ppx_inline_test-0.15.0-pr39.patch +++ /dev/null @@ -1,23 +0,0 @@ -From 99e6e5819118c3ebf06bccc879a15175b9221148 Mon Sep 17 00:00:00 2001 -From: Carl Eastlund <ceastlund@janestreet.com> -Date: Thu, 19 Jan 2023 12:25:16 -0500 -Subject: [PATCH] Stop using [Ppxlib.File_path]. - -Signed-off-by: Carl Eastlund <ceastlund@janestreet.com> ---- - src/ppx_inline_test.ml | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/src/ppx_inline_test.ml b/src/ppx_inline_test.ml -index 7f2e854..37c9791 100644 ---- a/src/ppx_inline_test.ml -+++ b/src/ppx_inline_test.ml -@@ -82,7 +82,7 @@ let rec short_desc_of_expr ~max_len e = - ;; - - let descr ~(loc:Location.t) ?(inner_loc=loc) e_opt id_opt = -- let filename = File_path.get_default_path loc in -+ let filename = loc.loc_start.pos_fname in - let line = loc.loc_start.pos_lnum in - let start_pos = loc.loc_start.pos_cnum - loc.loc_start.pos_bol in - let end_pos = inner_loc.Location.loc_end.pos_cnum - loc.loc_start.pos_bol in diff --git a/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch b/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch deleted file mode 100644 index b35ba64f8d72..000000000000 --- a/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/src/dune 2023-01-30 20:28:23.578884847 +0100 -+++ b/src/dune 2023-01-30 20:28:33.523713488 +0100 -@@ -2,7 +2,7 @@ - (library - (name tiny_httpd) - (public_name tiny_httpd) -- (libraries threads seq) -+ (libraries threads) - (flags :standard -safe-string -warn-error -a+8) - (wrapped false)) - |