Attachment 233133 Details for Bug 263206 – Chase the upgrade of OCaml

[patch] Chase the upgrade of OCaml

math_teyjus.diff (text/plain), 1.33 KB, created by Thierry Thomas on 2022-04-10 18:31:17 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Thierry Thomas

Created: 2022-04-10 18:31:17 UTC

Size: 1.33 KB

patch

obsolete

>From d1cf0c4c8c8115ae9567dab6f7e7d068c647375d Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sun, 10 Apr 2022 18:39:56 +0200
>Subject: [PATCH] math/teyjus: chase OCaml upgrade
>
>Do not rely on bundled headers, but use the ones installed by OCaml.
>---
> math/teyjus/Makefile | 12 +++++++++---
> 1 file changed, 9 insertions(+), 3 deletions(-)
>
>diff --git a/math/teyjus/Makefile b/math/teyjus/Makefile
>index 05b9a169f87a..e3a854e0d7f0 100644
>--- a/math/teyjus/Makefile
>+++ b/math/teyjus/Makefile
>@@ -10,20 +10,26 @@ COMMENT=	Higher-order logic programming language Lambda Prolog
> LICENSE=	GPLv3
> LICENSE_FILE=	${WRKSRC}/COPYING
> 
>-BUILD_DEPENDS=	ocamlopt:lang/ocaml \
>-		omake:devel/omake \
>+BUILD_DEPENDS=	omake:devel/omake \
> 		bash:shells/bash
> 
> USES=		dos2unix shebangfix
> DOS2UNIX_FILES=	source/OMakefile
> SHEBANG_GLOB=	run_test
>+USE_OCAML=	yes
> USE_GITHUB=	yes
> 
> EXES=		tjcc tjdepend tjdis tjlink tjsim
> PLIST_FILES=	${EXES:S/^/bin\//}
> 
>+pre-configure:
>+	${REINPLACE_CMD} -e '/include "caml/s|include "caml/|include <caml/|;	\
>+		/include <caml/s|.h"|.h>|' ${WRKSRC}/source/front/*.c
>+	${REINPLACE_CMD} -e '/CFLAGS +=/s|-g|${CFLAGS} -I${LOCALBASE}/${OCAML_LIBDIR} -fPIC|' \
>+		${WRKSRC}/source/OMakefile
>+
> do-build:
>-	@cd ${WRKSRC} && omake
>+	@cd ${WRKSRC} && omake --force-dotomake
> 
> do-install:
> .for e in ${EXES}
>-- 
>2.35.1
>

Actions: View | Diff

Attachments on bug 263206: 233133