Attachment 251000 Details for Bug 279337 – alt-ergo.patch

[patch] alt-ergo.patch

alt-ergo.patch (text/plain), 1.65 KB, created by Benjamin Jacobs on 2024-05-26 20:52:44 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Benjamin Jacobs

Created: 2024-05-26 20:52:44 UTC

Size: 1.65 KB

patch

obsolete

>From 1b418cf03d99d5c9bc522fd8738990a2d2d37920 Mon Sep 17 00:00:00 2001
>From: Benjamin Jacobs <freebsd@dev.thsi.be>
>Date: Sun, 26 May 2024 00:03:37 +0000
>Subject: [PATCH] math/alt-ergo: Fix runtime depends, strip binary
>
>
>diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile
>index 89488a284d27..f17315f5bc0c 100644
>--- a/math/alt-ergo/Makefile
>+++ b/math/alt-ergo/Makefile
>@@ -15,12 +15,15 @@ LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
> 
> BROKEN_powerpc64=	fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range
> 
>-BUILD_DEPENDS=	ocaml-zarith>1.2:math/ocaml-zarith \
>+BUILD_DEPENDS=	ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 \
> 		ocaml-num>=0:math/ocaml-num \
> 		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
>-		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
>-RUN_DEPENDS=	ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
>-		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
>+		ocaml-zarith>1.2:math/ocaml-zarith
>+LIB_DEPENDS=	libgmp.so:math/gmp
>+RUN_DEPENDS=	ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 \
>+		ocaml-num>=0:math/ocaml-num \
>+		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
>+		ocaml-zarith>1.2:math/ocaml-zarith
> 
> GNU_CONFIGURE=	yes
> GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
>@@ -35,8 +38,12 @@ post-patch:
> 		\|cp -f.*$$(MANDIR)|s|cp -f|${INSTALL_MAN}|; \
> 		\|cp -f.*$$(LIBDIR)|s|cp -f|${INSTALL_DATA}|; }' \
> 		-e 's|make -C|${MAKE_CMD} -C|' \
>+		-e '\|echo.*requires =.*>> META|s|ocamlgraph|& zarith|' \
> 			${WRKSRC}/Makefile.in
> 	@${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \
> 		${WRKSRC}/configure
> 
>+post-install:
>+	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/alt-ergo
>+
> .include <bsd.port.mk>

Actions: View | Diff

Attachments on bug 279337: 251000