From ee9edaeebaf10fd64f2cace6bbda12327f97aaea Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:16:43 +0100 Subject: [PATCH 01/15] ocaml: update to 5.1.0. --- srcpkgs/ocaml/patches/musl-ppc.patch | 11 - .../patches/ocaml-4.08.0-elfv2-ppc64.patch | 198 ------------------ .../ocaml/patches/ocaml-4.08.0-ppc-pie.patch | 42 ---- srcpkgs/ocaml/template | 18 +- 4 files changed, 7 insertions(+), 262 deletions(-) delete mode 100644 srcpkgs/ocaml/patches/musl-ppc.patch delete mode 100644 srcpkgs/ocaml/patches/ocaml-4.08.0-elfv2-ppc64.patch delete mode 100644 srcpkgs/ocaml/patches/ocaml-4.08.0-ppc-pie.patch diff --git a/srcpkgs/ocaml/patches/musl-ppc.patch b/srcpkgs/ocaml/patches/musl-ppc.patch deleted file mode 100644 index bc2c10fd43ab8..0000000000000 --- a/srcpkgs/ocaml/patches/musl-ppc.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/runtime/signals_osdep.h -+++ b/runtime/signals_osdep.h -@@ -309,6 +309,8 @@ - - #elif defined(TARGET_power) && defined(SYS_elf) - -+ #include -+ - #define DECLARE_SIGNAL_HANDLER(name) \ - static void name(int sig, struct sigcontext * context) - diff --git a/srcpkgs/ocaml/patches/ocaml-4.08.0-elfv2-ppc64.patch b/srcpkgs/ocaml/patches/ocaml-4.08.0-elfv2-ppc64.patch deleted file mode 100644 index 65a6cea92adf4..0000000000000 --- a/srcpkgs/ocaml/patches/ocaml-4.08.0-elfv2-ppc64.patch +++ /dev/null @@ -1,198 +0,0 @@ ---- ocaml-4.08.0/asmcomp/power/arch.ml -+++ ocaml-4.08.0/asmcomp/power/arch.ml -@@ -28,7 +28,7 @@ type abi = ELF32 | ELF64v1 | ELF64v2 - let abi = - match Config.model with - | "ppc" -> ELF32 -- | "ppc64" -> ELF64v1 -+ | "ppc64" -> ELF64v2 - | "ppc64le" -> ELF64v2 - | _ -> assert false - ---- ocaml-4.10.0/runtime/power.S -+++ ocaml-4.10.0/runtime/power.S -@@ -13,7 +13,7 @@ - /* */ - /**************************************************************************/ - --#if defined(MODEL_ppc64le) -+#if _CALL_ELF == 2 - .abiversion 2 - #endif - -@@ -52,8 +52,7 @@ - #define TRAP_PREVIOUS_OFFSET 4 - #define CALLBACK_LINK_SIZE 16 - #define CALLBACK_LINK_OFFSET 0 --#endif --#if defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - #define RESERVED_STACK 48 - #define PARAM_SAVE_AREA (8*8) - #define LR_SAVE 16 -@@ -64,8 +63,7 @@ - #define TRAP_PREVIOUS_OFFSET 64 - #define CALLBACK_LINK_SIZE 32 - #define CALLBACK_LINK_OFFSET 48 --#endif --#if defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - #define RESERVED_STACK 32 - #define PARAM_SAVE_AREA 0 - #define LR_SAVE 16 -@@ -91,9 +89,8 @@ - #define ENDFUNCTION(name) \ - .size name, . - name - --#endif - --#if defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - #define FUNCTION(name) \ - .section ".opd","aw"; \ - .align 3; \ -@@ -107,9 +104,8 @@ - #define ENDFUNCTION(name) \ - .size name, . - .L.name - --#endif - --#if defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - #define FUNCTION(name) \ - .section ".text"; \ - .globl name; \ -@@ -151,7 +147,7 @@ - - #define Caml_state(var) 8*domain_field_caml_##var(28) - --#if defined(MODEL_ppc64) -+#if _CALL_ELF == 1 - .section ".opd","aw" - #else - .section ".text" -@@ -332,14 +328,14 @@ - #if defined(MODEL_ppc) - mtctr C_CALL_FUN - bctrl --#elif defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - ld 0, 0(C_CALL_FUN) - mr C_CALL_TOC, 2 /* save current TOC in a callee-save register */ - mtctr 0 - ld 2, 8(C_CALL_FUN) - bctrl - mr 2, C_CALL_TOC /* restore current TOC */ --#elif defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - mtctr C_CALL_FUN - mr 12, C_CALL_FUN - mr C_CALL_TOC, 2 /* save current TOC in a callee-save register */ -@@ -515,14 +511,14 @@ - #if defined(MODEL_ppc) - mtctr 12 - .L105: bctrl --#elif defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - ld 0, 0(12) - mtctr 0 - std 2, TOC_SAVE(1) - ld 2, 8(12) - .L105: bctrl - ld 2, TOC_SAVE(1) --#elif defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - mtctr 12 - std 2, TOC_SAVE(1) - .L105: bctrl -@@ -641,7 +637,7 @@ - b .L102 - ENDFUNCTION(caml_callback3_asm) - --#if defined(MODEL_ppc64) -+#if _CALL_ELF == 1 - .section ".opd","aw" - #else - .section ".text" ---- ocaml-4.08.0/testsuite/tools/asmgen_power.S -+++ ocaml-4.08.0/testsuite/tools/asmgen_power.S -@@ -25,12 +25,10 @@ - #if defined(MODEL_ppc) - #define RESERVED_STACK 16 - #define LR_SAVE_AREA 4 --#endif --#if defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - #define RESERVED_STACK 48 - #define LR_SAVE_AREA 16 --#endif --#if defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - #define RESERVED_STACK 32 - #define LR_SAVE_AREA 16 - #endif -@@ -44,9 +42,8 @@ - .type name, @function; \ - .align 2; \ - name: --#endif - --#if defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - #define FUNCTION(name) \ - .section ".opd","aw"; \ - .align 3; \ -@@ -56,9 +53,8 @@ - .text; \ - .align 2; \ - .L.name: --#endif - --#if defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - #define FUNCTION(name) \ - .section ".text"; \ - .globl name; \ -@@ -118,11 +114,11 @@ FUNCTION(call_gen_code) - /* Get function pointer in CTR */ - #if defined(MODEL_ppc) - mtctr 3 --#elif defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - ld 0, 0(3) - mtctr 0 - ld 2, 8(3) --#elif defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - mtctr 3 - mr 12, 3 - #else -@@ -184,11 +180,11 @@ FUNCTION(caml_c_call) - /* Jump to C function (address in r28) */ - #if defined(MODEL_ppc) - mtctr 28 --#elif defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - ld 0, 0(28) - mtctr 0 - ld 2, 8(28) --#elif defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - mtctr 28 - mr 12, 28 - #else ---- ocaml-4.08.0/runtime/caml/stack.h -+++ ocaml-4.08.0/runtime/caml/stack.h -@@ -35,10 +35,10 @@ - #if defined(MODEL_ppc) - #define Saved_return_address(sp) *((intnat *)((sp) - 4)) - #define Callback_link(sp) ((struct caml_context *)((sp) + 16)) --#elif defined(MODEL_ppc64) -+#elif _CALL_ELF == 1 - #define Saved_return_address(sp) *((intnat *)((sp) + 16)) - #define Callback_link(sp) ((struct caml_context *)((sp) + (48 + 32))) --#elif defined(MODEL_ppc64le) -+#elif _CALL_ELF == 2 - #define Saved_return_address(sp) *((intnat *)((sp) + 16)) - #define Callback_link(sp) ((struct caml_context *)((sp) + (32 + 32))) - #else diff --git a/srcpkgs/ocaml/patches/ocaml-4.08.0-ppc-pie.patch b/srcpkgs/ocaml/patches/ocaml-4.08.0-ppc-pie.patch deleted file mode 100644 index a26f6a639e185..0000000000000 --- a/srcpkgs/ocaml/patches/ocaml-4.08.0-ppc-pie.patch +++ /dev/null @@ -1,42 +0,0 @@ ---- ocaml-4.11.0/asmcomp/emitaux.ml -+++ ocaml-4.11.0/asmcomp/emitaux.ml -@@ -268,6 +268,7 @@ - match rdbg with - | [] -> assert false - | d :: rest -> emit rs d rest in -+ a.efa_align Arch.size_addr; - a.efa_word (List.length !frame_descriptors); - List.iter emit_frame !frame_descriptors; - Label_table.iter emit_debuginfo debuginfos; ---- ocaml-4.08.0/runtime/power.S -+++ ocaml-4.08.0/runtime/power.S -@@ -642,6 +642,7 @@ caml_system__code_end: - /* Frame table */ - - .section ".data" -+ .align wordalign - .globl caml_system__frametable - .type caml_system__frametable, @object - caml_system__frametable: ---- ocaml-4.14.0/configure.ac -+++ ocaml-4.14.0/configure.ac -@@ -1006,7 +1006,7 @@ AS_IF([test $arch != "none" && $arch64 ], - # e.g. Ubuntu >= 17.10 for i386, which uses the glibc dynamic loader. - - AS_CASE([$arch], -- [amd64|arm64|s390x|none], -+ [amd64|arm64|s390x|power|none], - # ocamlopt generates PIC code or doesn't generate code at all - [], - [AS_CASE([$host], ---- ocaml-4.14.0/configure -+++ ocaml-4.14.0/configure -@@ -13886,7 +13886,7 @@ - # e.g. Ubuntu >= 17.10 for i386, which uses the glibc dynamic loader. - - case $arch in #( -- amd64|arm64|s390x|none) : -+ amd64|arm64|s390x|power|none) : - # ocamlopt generates PIC code or doesn't generate code at all - ;; #( - *) : diff --git a/srcpkgs/ocaml/template b/srcpkgs/ocaml/template index f44b0b83941a2..b609d59620b6a 100644 --- a/srcpkgs/ocaml/template +++ b/srcpkgs/ocaml/template @@ -1,26 +1,22 @@ # Template file for 'ocaml' pkgname=ocaml -version=4.14.0 -revision=2 +version=5.1.0 +revision=1 build_style="gnu-configure" configure_args="--with-pic --libdir=/usr/lib/ocaml" make_build_target="world.opt" -makedepends="ncurses-devel libX11-devel" -short_desc="Main implementation of the Caml language" +makedepends="libzstd-devel" +depends="${makedepends}" +short_desc="Main implementation of the OCaml language" maintainer="Leah Neukirchen " license="QPL-1.0, LGPL-2.1-only" homepage="http://ocaml.org/" -distfiles="https://github.com/${pkgname}/${pkgname}/archive/${version}.tar.gz" -checksum=39f44260382f28d1054c5f9d8bf4753cb7ad64027da792f7938344544da155e8 +distfiles="https://github.com/ocaml/ocaml/archive/${version}.tar.gz" +checksum=43a3ac7aab7f8880f2bb6221317be55319b356e517622fdc28359fe943e6a450 nocross=yes export ASPP="cc -c" -case "$XBPS_TARGET_MACHINE" in - # also just segfaults when compiled without PIE (BSS-PLT?) - ppc-musl) broken="/usr/bin/ocamlc: unsupported relocation type 6";; -esac - post_install() { vlicense LICENSE } From 26a6f68da8ef59768d5399a25fd9bc2981268b23 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:16:57 +0100 Subject: [PATCH 02/15] ocaml-findlib: update to 1.9.6. --- srcpkgs/ocaml-findlib/template | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/srcpkgs/ocaml-findlib/template b/srcpkgs/ocaml-findlib/template index cd10d0a4bf4b3..25fbecf81cc54 100644 --- a/srcpkgs/ocaml-findlib/template +++ b/srcpkgs/ocaml-findlib/template @@ -1,17 +1,17 @@ # Template file for 'ocaml-findlib' pkgname=ocaml-findlib -version=1.9.3 -revision=2 +version=1.9.6 +revision=1 build_style=configure configure_args="-config /etc/findlib.conf -sitelib /usr/lib/ocaml -mandir /usr/share/man" make_build_args="all opt" -makedepends="ncurses-devel ocaml ocamlbuild" +makedepends="ocaml ocamlbuild" short_desc="OCaml package manager" maintainer="Orphaned " license="MIT" homepage="http://projects.camlcity.org/projects/findlib.html" distfiles="http://download.camlcity.org/download/findlib-${version}.tar.gz" -checksum=c310fcb62838d9e50f0b6d6c5ceefcbe4fe056f72496950ae7d5c6cdaae2cc41 +checksum=2df996279ae16b606db5ff5879f93dbfade0898db9f1a3e82f7f845faa2930a2 nocross=yes nopie=yes disable_parallel_build=yes From 16c95882a839b0726b8556616c57e6c612a932f6 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:18:25 +0100 Subject: [PATCH 03/15] caml-num: rebuild for ocaml-5.1.0. --- srcpkgs/ocaml-num/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/ocaml-num/template b/srcpkgs/ocaml-num/template index 72c9bace0d074..adf35962a57e9 100644 --- a/srcpkgs/ocaml-num/template +++ b/srcpkgs/ocaml-num/template @@ -1,7 +1,7 @@ # Template file for 'ocaml-num' pkgname=ocaml-num version=1.4 -revision=4 +revision=5 build_style=gnu-makefile make_install_target="findlib-install" makedepends="ocaml ocaml-findlib" From 7b7835eec0ba1b2acbd6b8ae31ab1571389182df Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:18:59 +0100 Subject: [PATCH 04/15] ocaml-zarith: update to 1.13. --- srcpkgs/ocaml-zarith/template | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/srcpkgs/ocaml-zarith/template b/srcpkgs/ocaml-zarith/template index 8c5485e698181..dfef566ae3079 100644 --- a/srcpkgs/ocaml-zarith/template +++ b/srcpkgs/ocaml-zarith/template @@ -1,7 +1,7 @@ # Template file for 'ocaml-zarith' pkgname=ocaml-zarith -version=1.12 -revision=4 +version=1.13 +revision=1 build_style=configure make_check_target="tests" hostmakedepends="perl" @@ -12,13 +12,16 @@ maintainer="Leah Neukirchen " license="LGPL-2.0-only,OCaml-LGPL-linking-exception" homepage="https://github.com/ocaml/zarith" distfiles="https://github.com/ocaml/zarith/archive/release-${version}.tar.gz" -checksum=cc32563c3845c86d0f609c86d83bf8607ef12354863d31d3bffc0dacf1ed2881 +checksum=a5826d33fea0103ad6e66f92583d8e075fb77976de893ffdd73ada0409b3f83b nocross=yes disable_parallel_build=yes post_configure() { sed -i 's/INSTALLDIR=/&$(DESTDIR)/' Makefile } +pre_install() { + mkdir -p ${DESTDIR}/usr/lib/ocaml/stublibs +} post_install() { vcopy META usr/lib/ocaml/zarith } From 9d9867bd3a2d4ecb0abc6d5fde0d08d401f373c9 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:20:43 +0100 Subject: [PATCH 05/15] ocamlbuild: rebuild for ocaml-5.1.0. --- srcpkgs/ocamlbuild/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/ocamlbuild/template b/srcpkgs/ocamlbuild/template index 188b9b23dc030..558c8adbed355 100644 --- a/srcpkgs/ocamlbuild/template +++ b/srcpkgs/ocamlbuild/template @@ -1,7 +1,7 @@ # Template file for 'ocamlbuild' pkgname=ocamlbuild version=0.14.2 -revision=1 +revision=2 build_style=gnu-makefile hostmakedepends="ocaml" short_desc="OCaml build tool" From bb43d31f123f13d3c5fc3ced5c4e3ebdfd618478 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:21:38 +0100 Subject: [PATCH 06/15] ocaml-stdcompat: rebuild for ocaml-5.1.0. --- srcpkgs/ocaml-stdcompat/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/ocaml-stdcompat/template b/srcpkgs/ocaml-stdcompat/template index 7bfcf2576ce84..a7251039c3c0f 100644 --- a/srcpkgs/ocaml-stdcompat/template +++ b/srcpkgs/ocaml-stdcompat/template @@ -1,7 +1,7 @@ # Template file for 'ocaml-stdcompat' pkgname=ocaml-stdcompat version=19 -revision=1 +revision=2 build_style=gnu-configure configure_args="--libdir=/usr/lib/ocaml" hostmakedepends="automake" From 35d810cff2bfc153371077bfe132c7818f9a5713 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:26:09 +0100 Subject: [PATCH 07/15] opam: rebuild for ocaml-5.1.0. --- srcpkgs/opam/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/opam/template b/srcpkgs/opam/template index 46e4a305f2b94..7ecafb97295a6 100644 --- a/srcpkgs/opam/template +++ b/srcpkgs/opam/template @@ -1,7 +1,7 @@ # Template file for 'opam' pkgname=opam version=2.1.5 -revision=1 +revision=2 build_style=gnu-configure configure_args="--docdir=/usr/share/doc/${pkgname}" make_build_args="lib-ext all" @@ -13,7 +13,7 @@ short_desc="OCaml package manager" maintainer="Leah Neukirchen " license="LGPL-3.0-only" homepage="https://opam.ocaml.org/" -distfiles="https://github.com/ocaml/${pkgname}/archive/${version}.tar.gz" +distfiles="https://github.com/ocaml/opam/archive/${version}.tar.gz" checksum=2eb2a21f4d64d1eb2eece2e8d28678be823d3f6846c28fc0fbd5645738fe0f81 nocross=yes disable_parallel_build=yes From 756540521fa24785d466f21c645f5ea14cfd1559 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 22:39:35 +0100 Subject: [PATCH 08/15] z3: rebuild for ocaml-5.1.0. --- srcpkgs/z3/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template index b33d6522ebe0f..58983afb5f69c 100644 --- a/srcpkgs/z3/template +++ b/srcpkgs/z3/template @@ -1,7 +1,7 @@ # Template file for 'z3' pkgname=z3 version=4.12.2 -revision=1 +revision=2 build_style=configure configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)" make_build_args="-C build all examples" From f08f667325f8d5de84a5617207ef5dccce4d8bba Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 23:03:11 +0100 Subject: [PATCH 09/15] unison: rebuild for ocaml-5.1.0. --- srcpkgs/unison/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/unison/template b/srcpkgs/unison/template index 2360574efa4f5..df4a21bea6171 100644 --- a/srcpkgs/unison/template +++ b/srcpkgs/unison/template @@ -1,7 +1,7 @@ # Template file for 'unison' pkgname=unison version=2.53.3 -revision=1 +revision=2 hostmakedepends="ocaml" short_desc="File-synchronization tool" maintainer="Andrew J. Hesford " From 1abd988e178ac0718328ea7ecd06806e9b49bd02 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 23:05:52 +0100 Subject: [PATCH 10/15] dune: rebuild for ocaml-5.1.0. --- srcpkgs/dune/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/dune/template b/srcpkgs/dune/template index 5cb619ac47a3e..f884763859201 100644 --- a/srcpkgs/dune/template +++ b/srcpkgs/dune/template @@ -1,7 +1,7 @@ # Template file for 'dune' pkgname=dune version=3.10.0 -revision=1 +revision=2 makedepends="ocaml" depends="ocaml" short_desc="Composable build system for OCaml" From 7f7d06093a431571df90866868721303301959ed Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 23:04:57 +0100 Subject: [PATCH 11/15] ocaml-camlp-streams: rebuild for ocaml-5.1.0. --- srcpkgs/ocaml-camlp-streams/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/ocaml-camlp-streams/template b/srcpkgs/ocaml-camlp-streams/template index e32f04aae51b6..4b7f1bae08874 100644 --- a/srcpkgs/ocaml-camlp-streams/template +++ b/srcpkgs/ocaml-camlp-streams/template @@ -1,7 +1,7 @@ # Template file for 'ocaml-camlp-streams' pkgname=ocaml-camlp-streams version=5.0.1 -revision=1 +revision=2 makedepends="ocaml dune" short_desc="Stream and Genlex libraries for use with Camlp4 and Camlp5" maintainer="Leah Neukirchen " From 3a70c4151187633656189e6c1ad577e5b47a64cf Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 21 Dec 2022 23:04:16 +0100 Subject: [PATCH 12/15] camlp5: rebuild for ocaml-5.1.0. --- srcpkgs/camlp5/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/camlp5/template b/srcpkgs/camlp5/template index 62223f806a0f0..154fc80c35d7a 100644 --- a/srcpkgs/camlp5/template +++ b/srcpkgs/camlp5/template @@ -1,7 +1,7 @@ # Template file for 'camlp5' pkgname=camlp5 version=8.00.04 -revision=1 +revision=2 build_style=configure configure_args="-mandir /usr/share/man" hostmakedepends="ocaml perl ocaml-findlib" From 109513c93effa87facfa1337f1f773b2d8823220 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Fri, 15 Sep 2023 15:24:04 +0200 Subject: [PATCH 13/15] camlp5: remove, unneeded. --- srcpkgs/camlp5/template | 20 -------------------- srcpkgs/camlp5/update | 2 -- 2 files changed, 22 deletions(-) delete mode 100644 srcpkgs/camlp5/template delete mode 100644 srcpkgs/camlp5/update diff --git a/srcpkgs/camlp5/template b/srcpkgs/camlp5/template deleted file mode 100644 index 154fc80c35d7a..0000000000000 --- a/srcpkgs/camlp5/template +++ /dev/null @@ -1,20 +0,0 @@ -# Template file for 'camlp5' -pkgname=camlp5 -version=8.00.04 -revision=2 -build_style=configure -configure_args="-mandir /usr/share/man" -hostmakedepends="ocaml perl ocaml-findlib" -makedepends="ocaml-camlp-streams" -short_desc="OCaml preprocessor and pretty-printer" -maintainer="Leah Neukirchen " -license="BSD-3-Clause" -homepage="https://camlp5.github.io/" -distfiles="https://github.com/${pkgname}/${pkgname}/archive/rel${version}.tar.gz" -checksum=bddbcb5c3c2d410c9a61c4dfb6e46e3bbe984d25ac68221a7a65c82a29956b1d -nocross=yes -nopie=yes - -post_install() { - vlicense LICENSE -} diff --git a/srcpkgs/camlp5/update b/srcpkgs/camlp5/update deleted file mode 100644 index d3695ee92307b..0000000000000 --- a/srcpkgs/camlp5/update +++ /dev/null @@ -1,2 +0,0 @@ -pattern='rel\K[\d\.]+(?=\.tar\.gz")' -ignore='71?' From 2177beaddc82aa09471463d88be1ddac901f0bb6 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Fri, 15 Sep 2023 15:47:47 +0200 Subject: [PATCH 14/15] coq: rebuild for ocaml-5.1.0. --- srcpkgs/coq/template | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index 78d6caa780dda..0e41741661547 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -1,8 +1,8 @@ # Template file for 'coq' pkgname=coq version=8.18.0 -revision=1 -hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith" +revision=2 +hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith" depends="ocaml-findlib" short_desc="Proof assistant written in OCaml" maintainer="Leah Neukirchen " @@ -18,10 +18,6 @@ case "$XBPS_TARGET_MACHINE" in ppc*) broken="R_PPC_REL24 relocation out of range";; esac -post_patch() { - vsed -i -e 's/which/command -v/g' dev/tools/make_git_revision.sh -} - do_build() { make dunestrap dune build --display=short -p coq-core,coq-stdlib From de2cfde2586b38b246ea9d70b8ee48b39ee03d96 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Fri, 15 Sep 2023 15:48:06 +0200 Subject: [PATCH 15/15] mathcomp: rebuild for coq-8.18.0_2. --- srcpkgs/mathcomp/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template index 9757979e5af1c..30e899ee22977 100644 --- a/srcpkgs/mathcomp/template +++ b/srcpkgs/mathcomp/template @@ -1,7 +1,7 @@ # Template file for 'mathcomp' pkgname=mathcomp version=1.17.0 -revision=3 +revision=4 build_wrksrc="mathcomp" build_style=gnu-makefile hostmakedepends="coq ocaml-findlib"