Date: Thursday, May 18, 2023 @ 19:43:46
Author: juergen
Revision: 1463098
archrelease: copy trunk to community-x86_64
Added:
camlp4/repos/community-x86_64/0001-compile-with-4.10-AST.patch
(from rev 1463097, camlp4/trunk/0001-compile-with-4.10-AST.patch)
camlp4/repos/community-x86_64/PKGBUILD
(from rev 1463097, camlp4/trunk/PKGBUILD)
Deleted:
camlp4/repos/community-x86_64/0001-compile-with-4.10-AST.patch
camlp4/repos/community-x86_64/PKGBUILD
----------------------------------+
0001-compile-with-4.10-AST.patch | 460 ++++++++++++++++++-------------------
PKGBUILD | 64 ++---
2 files changed, 262 insertions(+), 262 deletions(-)
Deleted: 0001-compile-with-4.10-AST.patch
===================================================================
--- 0001-compile-with-4.10-AST.patch 2023-05-18 18:58:44 UTC (rev 1463097)
+++ 0001-compile-with-4.10-AST.patch 2023-05-18 19:43:46 UTC (rev 1463098)
@@ -1,230 +0,0 @@
-From 98e094a7c3c01c6375c63e7b944d83142ea3166e Mon Sep 17 00:00:00 2001
-From: ygrek <yg...@autistici.org>
-Date: Wed, 25 Mar 2020 16:04:36 -0400
-Subject: [PATCH 1/2] compile with 4.10 AST
-
----
- camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml | 20 ++++++++++----------
- camlp4/Camlp4Top/Rprint.ml | 8 ++++----
- camlp4/boot/Camlp4.ml | 22 ++++++++++------------
- configure | 4 ++--
- opam | 2 +-
- 5 files changed, 27 insertions(+), 29 deletions(-)
-
-diff --git a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
-index c0bdf54e3..6ba906f4e 100644
---- a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
-+++ b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
-@@ -713,7 +713,7 @@ and row_field =
- | PaTyp loc i -> mkpat loc (Ppat_type (long_type_ident i))
- | PaVrn loc s -> mkpat loc (Ppat_variant (conv_con s) None)
- | PaLaz loc p -> mkpat loc (Ppat_lazy (patt p))
-- | PaMod loc m -> mkpat loc (Ppat_unpack (with_loc m loc))
-+ | PaMod loc m -> mkpat loc (Ppat_unpack (with_loc (Some m) loc))
- | PaExc loc p -> mkpat loc (Ppat_exception (patt p))
- | PaAtt loc s str e ->
- let e = patt e in
-@@ -931,7 +931,7 @@ value varify_constructors var_names =
- match binding bi [] with
- [ [] -> e
- | bi -> mkexp loc (Pexp_let (mkrf rf) bi e) ]
-- | ExLmd loc i me e -> mkexp loc (Pexp_letmodule (with_loc i loc)
(module_expr me) (expr e))
-+ | ExLmd loc i me e -> mkexp loc (Pexp_letmodule (with_loc (Some i) loc)
(module_expr me) (expr e))
- | ExMat loc e a -> mkexp loc (Pexp_match (expr e) (match_case a []))
- | ExNew loc id -> mkexp loc (Pexp_new (long_type_ident id))
- | ExObj loc po cfl ->
-@@ -1132,9 +1132,9 @@ value varify_constructors var_names =
- [ <:module_type@loc<>> -> error loc "abstract/nil module type not allowed
here"
- | <:module_type@loc< $id:i$ >> -> mkmty loc (Pmty_ident (long_uident i))
- | Ast.MtFun(loc, "*", Ast.MtNil _, mt) ->
-- mkmty loc (Pmty_functor (with_loc "*" loc) None (module_type mt))
-+ mkmty loc (Pmty_functor Unit (module_type mt))
- | <:module_type@loc< functor ($n$ : $nt$) -> $mt$ >> ->
-- mkmty loc (Pmty_functor (with_loc n loc) (Some (module_type nt))
(module_type mt))
-+ mkmty loc (Pmty_functor (Named (with_loc (Some n) loc) (module_type
nt)) (module_type mt))
- | <:module_type@loc< '$_$ >> -> error loc "module type variable not
allowed here"
- | <:module_type@loc< sig $sl$ end >> ->
- mkmty loc (Pmty_signature (sig_item sl []))
-@@ -1185,7 +1185,7 @@ value varify_constructors var_names =
- | SgInc loc mt -> [mksig loc (Psig_include {pincl_mod=module_type mt;
- pincl_attributes=[];
- pincl_loc = mkloc loc}) :: l]
-- | SgMod loc n mt -> [mksig loc (Psig_module {pmd_loc=mkloc loc;
pmd_name=with_loc n loc; pmd_type=module_type mt; pmd_attributes=[]}) :: l]
-+ | SgMod loc n mt -> [mksig loc (Psig_module {pmd_loc=mkloc loc;
pmd_name=with_loc (Some n) loc; pmd_type=module_type mt; pmd_attributes=[]}) ::
l]
- | SgRecMod loc mb ->
- [mksig loc (Psig_recmodule (module_sig_binding mb [])) :: l]
- | SgMty loc n mt ->
-@@ -1215,7 +1215,7 @@ value varify_constructors var_names =
- [ <:module_binding< $x$ and $y$ >> ->
- module_sig_binding x (module_sig_binding y acc)
- | <:module_binding@loc< $s$ : $mt$ >> ->
-- [{pmd_loc=mkloc loc; pmd_name=with_loc s loc; pmd_type=module_type
mt; pmd_attributes=[]} :: acc]
-+ [{pmd_loc=mkloc loc; pmd_name=with_loc (Some s) loc;
pmd_type=module_type mt; pmd_attributes=[]} :: acc]
- | _ -> assert False ]
- and module_str_binding x acc =
- match x with
-@@ -1223,7 +1223,7 @@ value varify_constructors var_names =
- module_str_binding x (module_str_binding y acc)
- | <:module_binding@loc< $s$ : $mt$ = $me$ >> ->
- [{pmb_loc=mkloc loc;
-- pmb_name=with_loc s loc;
-+ pmb_name=with_loc (Some s) loc;
- pmb_expr=
- {pmod_loc=Location.none;
- pmod_desc=Pmod_constraint(module_expr me,module_type mt);
-@@ -1238,9 +1238,9 @@ value varify_constructors var_names =
- | <:module_expr@loc< $me1$ $me2$ >> ->
- mkmod loc (Pmod_apply (module_expr me1) (module_expr me2))
- | Ast.MeFun(loc, "*", Ast.MtNil _, me) ->
-- mkmod loc (Pmod_functor (with_loc "*" loc) None (module_expr me))
-+ mkmod loc (Pmod_functor Unit (module_expr me))
- | <:module_expr@loc< functor ($n$ : $mt$) -> $me$ >> ->
-- mkmod loc (Pmod_functor (with_loc n loc) (Some (module_type mt))
(module_expr me))
-+ mkmod loc (Pmod_functor (Named (with_loc (Some n) loc) (module_type
mt)) (module_expr me))
- | <:module_expr@loc< struct $sl$ end >> ->
- mkmod loc (Pmod_structure (str_item sl []))
- | <:module_expr@loc< ($me$ : $mt$) >> ->
-@@ -1299,7 +1299,7 @@ value varify_constructors var_names =
- | StInc loc me -> [mkstr loc (Pstr_include {pincl_mod=module_expr me;
- pincl_attributes=[];
- pincl_loc=mkloc loc}) :: l]
-- | StMod loc n me -> [mkstr loc (Pstr_module {pmb_loc=mkloc loc;
pmb_name=with_loc n loc;pmb_expr=module_expr me;pmb_attributes=[]}) :: l]
-+ | StMod loc n me -> [mkstr loc (Pstr_module {pmb_loc=mkloc loc;
pmb_name=with_loc (Some n) loc;pmb_expr=module_expr me;pmb_attributes=[]}) :: l]
- | StRecMod loc mb ->
- [mkstr loc (Pstr_recmodule (module_str_binding mb [])) :: l]
- | StMty loc n mt ->
-diff --git a/camlp4/Camlp4Top/Rprint.ml b/camlp4/Camlp4Top/Rprint.ml
-index c785b1d68..8961bc8b7 100644
---- a/camlp4/Camlp4Top/Rprint.ml
-+++ b/camlp4/Camlp4Top/Rprint.ml
-@@ -366,11 +366,11 @@ value rec print_out_module_type ppf =
- | Omty_signature sg ->
- fprintf ppf "@[<hv 2>sig@ %a@;<1 -2>end@]"
- Toploop.print_out_signature.val sg
-- | Omty_functor name None mty_res ->
-- fprintf ppf "@[<2>functor@ (%s) ->@ %a@]" name
-+ | Omty_functor None mty_res ->
-+ fprintf ppf "@[<2>functor@ () ->@ %a@]"
- print_out_module_type mty_res
-- | Omty_functor name (Some mty_arg) mty_res ->
-- fprintf ppf "@[<2>functor@ (%s : %a) ->@ %a@]" name
-+ | Omty_functor (Some name mty_arg) mty_res ->
-+ fprintf ppf "@[<2>functor@ (%s : %a) ->@ %a@]" (match name with [ None
-> "_" | Some n -> n ])
- print_out_module_type mty_arg print_out_module_type mty_res
- | Omty_abstract -> () ]
- and needs_semi =
-diff --git a/camlp4/boot/Camlp4.ml b/camlp4/boot/Camlp4.ml
-index dcb6a996b..32b8a8865 100644
---- a/camlp4/boot/Camlp4.ml
-+++ b/camlp4/boot/Camlp4.ml
-@@ -16216,7 +16216,7 @@ module Struct =
- | PaVrn (loc, s) ->
- mkpat loc (Ppat_variant ((conv_con s), None))
- | PaLaz (loc, p) -> mkpat loc (Ppat_lazy (patt p))
-- | PaMod (loc, m) -> mkpat loc (Ppat_unpack (with_loc m loc))
-+ | PaMod (loc, m) -> mkpat loc (Ppat_unpack (with_loc (Some m)
loc))
- | PaExc (loc, p) -> mkpat loc (Ppat_exception (patt p))
- | PaAtt (loc, s, str, e) ->
- let e = patt e
-@@ -16483,7 +16483,7 @@ module Struct =
- | bi -> mkexp loc (Pexp_let ((mkrf rf), bi, e)))
- | ExLmd (loc, i, me, e) ->
- mkexp loc
-- (Pexp_letmodule ((with_loc i loc), (module_expr me),
-+ (Pexp_letmodule ((with_loc (Some i) loc), (module_expr
me),
- (expr e)))
- | ExMat (loc, e, a) ->
- mkexp loc (Pexp_match ((expr e), (match_case a [])))
-@@ -16735,11 +16735,10 @@ module Struct =
- | Ast.MtId (loc, i) -> mkmty loc (Pmty_ident (long_uident i))
- | Ast.MtFun ((loc, "*", Ast.MtNil _, mt)) ->
- mkmty loc
-- (Pmty_functor ((with_loc "*" loc), None,
-- (module_type mt)))
-+ (Pmty_functor (Unit, (module_type mt)))
- | Ast.MtFun (loc, n, nt, mt) ->
- mkmty loc
-- (Pmty_functor ((with_loc n loc), (Some (module_type nt)),
-+ (Pmty_functor (Named ((with_loc (Some n) loc),
(module_type nt)),
- (module_type mt)))
- | Ast.MtQuo (loc, _) ->
- error loc "module type variable not allowed here"
-@@ -16835,7 +16834,7 @@ module Struct =
- (Psig_module
- {
- pmd_loc = mkloc loc;
-- pmd_name = with_loc n loc;
-+ pmd_name = with_loc (Some n) loc;
- pmd_type = module_type mt;
- pmd_attributes = [];
- })) ::
-@@ -16890,7 +16889,7 @@ module Struct =
- | Ast.MbCol (loc, s, mt) ->
- {
- pmd_loc = mkloc loc;
-- pmd_name = with_loc s loc;
-+ pmd_name = with_loc (Some s) loc;
- pmd_type = module_type mt;
- pmd_attributes = [];
- } :: acc
-@@ -16902,7 +16901,7 @@ module Struct =
- | Ast.MbColEq (loc, s, mt, me) ->
- {
- pmb_loc = mkloc loc;
-- pmb_name = with_loc s loc;
-+ pmb_name = with_loc (Some s) loc;
- pmb_expr =
- {
- pmod_loc = Location.none;
-@@ -16923,11 +16922,10 @@ module Struct =
- (Pmod_apply ((module_expr me1), (module_expr me2)))
- | Ast.MeFun ((loc, "*", Ast.MtNil _, me)) ->
- mkmod loc
-- (Pmod_functor ((with_loc "*" loc), None,
-- (module_expr me)))
-+ (Pmod_functor (Unit, (module_expr me)))
- | Ast.MeFun (loc, n, mt, me) ->
- mkmod loc
-- (Pmod_functor ((with_loc n loc), (Some (module_type mt)),
-+ (Pmod_functor (Named ((with_loc (Some n) loc),
(module_type mt)),
- (module_expr me)))
- | Ast.MeStr (loc, sl) ->
- mkmod loc (Pmod_structure (str_item sl []))
-@@ -17050,7 +17048,7 @@ module Struct =
- (Pstr_module
- {
- pmb_loc = mkloc loc;
-- pmb_name = with_loc n loc;
-+ pmb_name = with_loc (Some n) loc;
- pmb_expr = module_expr me;
- pmb_attributes = [];
- })) ::
-diff --git a/configure b/configure
-index 277556b63..7bb18bb6c 100755
---- a/configure
-+++ b/configure
-@@ -39,8 +39,8 @@ if [ $major -lt 4 -o \( $major -eq 4 -a $minor -lt 2 \) ];
then
- echo "The standalone Camlp4 requires OCaml >= 4.02."
- echo "For previous versions of OCaml use the Camlp4 distributed with
OCaml."
- exit 2
--elif [ $major -ne 4 -o $minor -ne 9 ]; then
-- echo "This version of Camlp4 is for OCaml 4.09 but you are using OCaml
$ocaml_version."
-+elif [ $major -ne 4 -o $minor -ne 10 ]; then
-+ echo "This version of Camlp4 is for OCaml 4.10 but you are using OCaml
$ocaml_version."
- if [ -d .git ] ; then
- if [ $PINNED -eq 1 ] ; then
- echo "You've used the wrong opam pin URL for this switch.">&2
-diff --git a/opam b/opam
-index 273e79aab..402d2d0f9 100644
---- a/opam
-+++ b/opam
-@@ -1,5 +1,5 @@
- opam-version: "1.2"
--version: "4.09"
-+version: "4.10"
- authors: ["Daniel de Rauglaudre" "Nicolas Pouillard"]
- maintainer: "yg...@autistici.org"
- homepage: "https://github.com/ocaml/camlp4";
---
-2.26.2
-
Copied: camlp4/repos/community-x86_64/0001-compile-with-4.10-AST.patch (from
rev 1463097, camlp4/trunk/0001-compile-with-4.10-AST.patch)
===================================================================
--- 0001-compile-with-4.10-AST.patch (rev 0)
+++ 0001-compile-with-4.10-AST.patch 2023-05-18 19:43:46 UTC (rev 1463098)
@@ -0,0 +1,230 @@
+From 98e094a7c3c01c6375c63e7b944d83142ea3166e Mon Sep 17 00:00:00 2001
+From: ygrek <yg...@autistici.org>
+Date: Wed, 25 Mar 2020 16:04:36 -0400
+Subject: [PATCH 1/2] compile with 4.10 AST
+
+---
+ camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml | 20 ++++++++++----------
+ camlp4/Camlp4Top/Rprint.ml | 8 ++++----
+ camlp4/boot/Camlp4.ml | 22 ++++++++++------------
+ configure | 4 ++--
+ opam | 2 +-
+ 5 files changed, 27 insertions(+), 29 deletions(-)
+
+diff --git a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
+index c0bdf54e3..6ba906f4e 100644
+--- a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
++++ b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
+@@ -713,7 +713,7 @@ and row_field =
+ | PaTyp loc i -> mkpat loc (Ppat_type (long_type_ident i))
+ | PaVrn loc s -> mkpat loc (Ppat_variant (conv_con s) None)
+ | PaLaz loc p -> mkpat loc (Ppat_lazy (patt p))
+- | PaMod loc m -> mkpat loc (Ppat_unpack (with_loc m loc))
++ | PaMod loc m -> mkpat loc (Ppat_unpack (with_loc (Some m) loc))
+ | PaExc loc p -> mkpat loc (Ppat_exception (patt p))
+ | PaAtt loc s str e ->
+ let e = patt e in
+@@ -931,7 +931,7 @@ value varify_constructors var_names =
+ match binding bi [] with
+ [ [] -> e
+ | bi -> mkexp loc (Pexp_let (mkrf rf) bi e) ]
+- | ExLmd loc i me e -> mkexp loc (Pexp_letmodule (with_loc i loc)
(module_expr me) (expr e))
++ | ExLmd loc i me e -> mkexp loc (Pexp_letmodule (with_loc (Some i) loc)
(module_expr me) (expr e))
+ | ExMat loc e a -> mkexp loc (Pexp_match (expr e) (match_case a []))
+ | ExNew loc id -> mkexp loc (Pexp_new (long_type_ident id))
+ | ExObj loc po cfl ->
+@@ -1132,9 +1132,9 @@ value varify_constructors var_names =
+ [ <:module_type@loc<>> -> error loc "abstract/nil module type not allowed
here"
+ | <:module_type@loc< $id:i$ >> -> mkmty loc (Pmty_ident (long_uident i))
+ | Ast.MtFun(loc, "*", Ast.MtNil _, mt) ->
+- mkmty loc (Pmty_functor (with_loc "*" loc) None (module_type mt))
++ mkmty loc (Pmty_functor Unit (module_type mt))
+ | <:module_type@loc< functor ($n$ : $nt$) -> $mt$ >> ->
+- mkmty loc (Pmty_functor (with_loc n loc) (Some (module_type nt))
(module_type mt))
++ mkmty loc (Pmty_functor (Named (with_loc (Some n) loc) (module_type
nt)) (module_type mt))
+ | <:module_type@loc< '$_$ >> -> error loc "module type variable not
allowed here"
+ | <:module_type@loc< sig $sl$ end >> ->
+ mkmty loc (Pmty_signature (sig_item sl []))
+@@ -1185,7 +1185,7 @@ value varify_constructors var_names =
+ | SgInc loc mt -> [mksig loc (Psig_include {pincl_mod=module_type mt;
+ pincl_attributes=[];
+ pincl_loc = mkloc loc}) :: l]
+- | SgMod loc n mt -> [mksig loc (Psig_module {pmd_loc=mkloc loc;
pmd_name=with_loc n loc; pmd_type=module_type mt; pmd_attributes=[]}) :: l]
++ | SgMod loc n mt -> [mksig loc (Psig_module {pmd_loc=mkloc loc;
pmd_name=with_loc (Some n) loc; pmd_type=module_type mt; pmd_attributes=[]}) ::
l]
+ | SgRecMod loc mb ->
+ [mksig loc (Psig_recmodule (module_sig_binding mb [])) :: l]
+ | SgMty loc n mt ->
+@@ -1215,7 +1215,7 @@ value varify_constructors var_names =
+ [ <:module_binding< $x$ and $y$ >> ->
+ module_sig_binding x (module_sig_binding y acc)
+ | <:module_binding@loc< $s$ : $mt$ >> ->
+- [{pmd_loc=mkloc loc; pmd_name=with_loc s loc; pmd_type=module_type
mt; pmd_attributes=[]} :: acc]
++ [{pmd_loc=mkloc loc; pmd_name=with_loc (Some s) loc;
pmd_type=module_type mt; pmd_attributes=[]} :: acc]
+ | _ -> assert False ]
+ and module_str_binding x acc =
+ match x with
+@@ -1223,7 +1223,7 @@ value varify_constructors var_names =
+ module_str_binding x (module_str_binding y acc)
+ | <:module_binding@loc< $s$ : $mt$ = $me$ >> ->
+ [{pmb_loc=mkloc loc;
+- pmb_name=with_loc s loc;
++ pmb_name=with_loc (Some s) loc;
+ pmb_expr=
+ {pmod_loc=Location.none;
+ pmod_desc=Pmod_constraint(module_expr me,module_type mt);
+@@ -1238,9 +1238,9 @@ value varify_constructors var_names =
+ | <:module_expr@loc< $me1$ $me2$ >> ->
+ mkmod loc (Pmod_apply (module_expr me1) (module_expr me2))
+ | Ast.MeFun(loc, "*", Ast.MtNil _, me) ->
+- mkmod loc (Pmod_functor (with_loc "*" loc) None (module_expr me))
++ mkmod loc (Pmod_functor Unit (module_expr me))
+ | <:module_expr@loc< functor ($n$ : $mt$) -> $me$ >> ->
+- mkmod loc (Pmod_functor (with_loc n loc) (Some (module_type mt))
(module_expr me))
++ mkmod loc (Pmod_functor (Named (with_loc (Some n) loc) (module_type
mt)) (module_expr me))
+ | <:module_expr@loc< struct $sl$ end >> ->
+ mkmod loc (Pmod_structure (str_item sl []))
+ | <:module_expr@loc< ($me$ : $mt$) >> ->
+@@ -1299,7 +1299,7 @@ value varify_constructors var_names =
+ | StInc loc me -> [mkstr loc (Pstr_include {pincl_mod=module_expr me;
+ pincl_attributes=[];
+ pincl_loc=mkloc loc}) :: l]
+- | StMod loc n me -> [mkstr loc (Pstr_module {pmb_loc=mkloc loc;
pmb_name=with_loc n loc;pmb_expr=module_expr me;pmb_attributes=[]}) :: l]
++ | StMod loc n me -> [mkstr loc (Pstr_module {pmb_loc=mkloc loc;
pmb_name=with_loc (Some n) loc;pmb_expr=module_expr me;pmb_attributes=[]}) :: l]
+ | StRecMod loc mb ->
+ [mkstr loc (Pstr_recmodule (module_str_binding mb [])) :: l]
+ | StMty loc n mt ->
+diff --git a/camlp4/Camlp4Top/Rprint.ml b/camlp4/Camlp4Top/Rprint.ml
+index c785b1d68..8961bc8b7 100644
+--- a/camlp4/Camlp4Top/Rprint.ml
++++ b/camlp4/Camlp4Top/Rprint.ml
+@@ -366,11 +366,11 @@ value rec print_out_module_type ppf =
+ | Omty_signature sg ->
+ fprintf ppf "@[<hv 2>sig@ %a@;<1 -2>end@]"
+ Toploop.print_out_signature.val sg
+- | Omty_functor name None mty_res ->
+- fprintf ppf "@[<2>functor@ (%s) ->@ %a@]" name
++ | Omty_functor None mty_res ->
++ fprintf ppf "@[<2>functor@ () ->@ %a@]"
+ print_out_module_type mty_res
+- | Omty_functor name (Some mty_arg) mty_res ->
+- fprintf ppf "@[<2>functor@ (%s : %a) ->@ %a@]" name
++ | Omty_functor (Some name mty_arg) mty_res ->
++ fprintf ppf "@[<2>functor@ (%s : %a) ->@ %a@]" (match name with [ None
-> "_" | Some n -> n ])
+ print_out_module_type mty_arg print_out_module_type mty_res
+ | Omty_abstract -> () ]
+ and needs_semi =
+diff --git a/camlp4/boot/Camlp4.ml b/camlp4/boot/Camlp4.ml
+index dcb6a996b..32b8a8865 100644
+--- a/camlp4/boot/Camlp4.ml
++++ b/camlp4/boot/Camlp4.ml
+@@ -16216,7 +16216,7 @@ module Struct =
+ | PaVrn (loc, s) ->
+ mkpat loc (Ppat_variant ((conv_con s), None))
+ | PaLaz (loc, p) -> mkpat loc (Ppat_lazy (patt p))
+- | PaMod (loc, m) -> mkpat loc (Ppat_unpack (with_loc m loc))
++ | PaMod (loc, m) -> mkpat loc (Ppat_unpack (with_loc (Some m)
loc))
+ | PaExc (loc, p) -> mkpat loc (Ppat_exception (patt p))
+ | PaAtt (loc, s, str, e) ->
+ let e = patt e
+@@ -16483,7 +16483,7 @@ module Struct =
+ | bi -> mkexp loc (Pexp_let ((mkrf rf), bi, e)))
+ | ExLmd (loc, i, me, e) ->
+ mkexp loc
+- (Pexp_letmodule ((with_loc i loc), (module_expr me),
++ (Pexp_letmodule ((with_loc (Some i) loc), (module_expr
me),
+ (expr e)))
+ | ExMat (loc, e, a) ->
+ mkexp loc (Pexp_match ((expr e), (match_case a [])))
+@@ -16735,11 +16735,10 @@ module Struct =
+ | Ast.MtId (loc, i) -> mkmty loc (Pmty_ident (long_uident i))
+ | Ast.MtFun ((loc, "*", Ast.MtNil _, mt)) ->
+ mkmty loc
+- (Pmty_functor ((with_loc "*" loc), None,
+- (module_type mt)))
++ (Pmty_functor (Unit, (module_type mt)))
+ | Ast.MtFun (loc, n, nt, mt) ->
+ mkmty loc
+- (Pmty_functor ((with_loc n loc), (Some (module_type nt)),
++ (Pmty_functor (Named ((with_loc (Some n) loc),
(module_type nt)),
+ (module_type mt)))
+ | Ast.MtQuo (loc, _) ->
+ error loc "module type variable not allowed here"
+@@ -16835,7 +16834,7 @@ module Struct =
+ (Psig_module
+ {
+ pmd_loc = mkloc loc;
+- pmd_name = with_loc n loc;
++ pmd_name = with_loc (Some n) loc;
+ pmd_type = module_type mt;
+ pmd_attributes = [];
+ })) ::
+@@ -16890,7 +16889,7 @@ module Struct =
+ | Ast.MbCol (loc, s, mt) ->
+ {
+ pmd_loc = mkloc loc;
+- pmd_name = with_loc s loc;
++ pmd_name = with_loc (Some s) loc;
+ pmd_type = module_type mt;
+ pmd_attributes = [];
+ } :: acc
+@@ -16902,7 +16901,7 @@ module Struct =
+ | Ast.MbColEq (loc, s, mt, me) ->
+ {
+ pmb_loc = mkloc loc;
+- pmb_name = with_loc s loc;
++ pmb_name = with_loc (Some s) loc;
+ pmb_expr =
+ {
+ pmod_loc = Location.none;
+@@ -16923,11 +16922,10 @@ module Struct =
+ (Pmod_apply ((module_expr me1), (module_expr me2)))
+ | Ast.MeFun ((loc, "*", Ast.MtNil _, me)) ->
+ mkmod loc
+- (Pmod_functor ((with_loc "*" loc), None,
+- (module_expr me)))
++ (Pmod_functor (Unit, (module_expr me)))
+ | Ast.MeFun (loc, n, mt, me) ->
+ mkmod loc
+- (Pmod_functor ((with_loc n loc), (Some (module_type mt)),
++ (Pmod_functor (Named ((with_loc (Some n) loc),
(module_type mt)),
+ (module_expr me)))
+ | Ast.MeStr (loc, sl) ->
+ mkmod loc (Pmod_structure (str_item sl []))
+@@ -17050,7 +17048,7 @@ module Struct =
+ (Pstr_module
+ {
+ pmb_loc = mkloc loc;
+- pmb_name = with_loc n loc;
++ pmb_name = with_loc (Some n) loc;
+ pmb_expr = module_expr me;
+ pmb_attributes = [];
+ })) ::
+diff --git a/configure b/configure
+index 277556b63..7bb18bb6c 100755
+--- a/configure
++++ b/configure
+@@ -39,8 +39,8 @@ if [ $major -lt 4 -o \( $major -eq 4 -a $minor -lt 2 \) ];
then
+ echo "The standalone Camlp4 requires OCaml >= 4.02."
+ echo "For previous versions of OCaml use the Camlp4 distributed with
OCaml."
+ exit 2
+-elif [ $major -ne 4 -o $minor -ne 9 ]; then
+- echo "This version of Camlp4 is for OCaml 4.09 but you are using OCaml
$ocaml_version."
++elif [ $major -ne 4 -o $minor -ne 10 ]; then
++ echo "This version of Camlp4 is for OCaml 4.10 but you are using OCaml
$ocaml_version."
+ if [ -d .git ] ; then
+ if [ $PINNED -eq 1 ] ; then
+ echo "You've used the wrong opam pin URL for this switch.">&2
+diff --git a/opam b/opam
+index 273e79aab..402d2d0f9 100644
+--- a/opam
++++ b/opam
+@@ -1,5 +1,5 @@
+ opam-version: "1.2"
+-version: "4.09"
++version: "4.10"
+ authors: ["Daniel de Rauglaudre" "Nicolas Pouillard"]
+ maintainer: "yg...@autistici.org"
+ homepage: "https://github.com/ocaml/camlp4";
+--
+2.26.2
+
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2023-05-18 18:58:44 UTC (rev 1463097)
+++ PKGBUILD 2023-05-18 19:43:46 UTC (rev 1463098)
@@ -1,32 +0,0 @@
-# Maintainer: Alexander F. Rødseth <xypr...@archlinux.org>
-# Contributor: Tobias Powalowski <tp...@archlinux.org>
-
-pkgname=camlp4
-_ocaml_ver=4.14.0
-pkgver=${_ocaml_ver%.*}+1
-pkgrel=3
-pkgdesc='Caml preprocessor and pretty-printer'
-arch=(x86_64)
-license=(GPL2)
-url='https://github.com/ocaml/camlp4/releases'
-depends=("ocaml>=${_ocaml_ver}")
-makedepends=(git ocamlbuild ocaml-compiler-libs)
-options=(!makeflags !emptydirs staticlibs)
-source=("$pkgname-$pkgver.tar.gz::https://github.com/ocaml/camlp4/archive/$pkgver.tar.gz";)
-b2sums=('93d52b5be818c3662f6aa462a33c908a68bc85a19554f2352e2a146edbe0b39f7c9de2807a507c4f83fc59188030d085eca473afd03e71e05b039950683542ef')
-
-build() {
- cd "$pkgname-${pkgver/+/-}"
- CFLAGS+=' -ffat-lto-objects -w'
- ./configure
- make all camlp4/META
-}
-
-package() {
- cd "$pkgname-${pkgver/+/-}"
- make \
- BINDIR="$pkgdir/usr/bin" \
- LIBDIR="$pkgdir/usr/lib/ocaml" \
- PKGDIR="$pkgdir/usr/lib/ocaml" \
- install install-META
-}
Copied: camlp4/repos/community-x86_64/PKGBUILD (from rev 1463097,
camlp4/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2023-05-18 19:43:46 UTC (rev 1463098)
@@ -0,0 +1,32 @@
+# Maintainer: Alexander F. Rødseth <xypr...@archlinux.org>
+# Contributor: Tobias Powalowski <tp...@archlinux.org>
+
+pkgname=camlp4
+_ocaml_ver=5.0.0
+pkgver=${_ocaml_ver%.*}+1
+pkgrel=1
+pkgdesc='Caml preprocessor and pretty-printer'
+arch=(x86_64)
+license=(GPL2)
+url='https://github.com/ocaml/camlp4/releases'
+depends=("ocaml")
+makedepends=(git ocamlbuild ocaml-compiler-libs ocaml-findlib camlp-streams)
+options=(!makeflags !emptydirs staticlibs)
+_ocaml_5_commit=862936ff67fe01f8e2e35e667e4a7f2990ebc300
+source=("$pkgname-$pkgver.tar.gz::https://github.com/ocaml/camlp4/archive/${_ocaml_5_commit}.tar.gz";)
+b2sums=('74cdc24c957f826778546121555ef2914330d1da5fea8eef83b7c183f779f62fc2f20fece533e4dff3102495252dcaa07680358aeb0f7449899d91b891dbbbcf')
+build() {
+ cd "$pkgname-${_ocaml_5_commit}"
+ CFLAGS+=' -ffat-lto-objects -w'
+ ./configure
+ make all camlp4/META
+}
+
+package() {
+ cd "$pkgname-${_ocaml_5_commit}"
+ make \
+ BINDIR="$pkgdir/usr/bin" \
+ LIBDIR="$pkgdir/usr/lib/ocaml" \
+ PKGDIR="$pkgdir/usr/lib/ocaml" \
+ install install-META
+}
