devel/frama-c/: Remove expired port:

graphics/py-open3d-python||2023-03-19|Has expired: Broken since 2020

devel/libzrtpcpp||2023-03-20|Has expired: Broken since 2021

devel/riscv64-gcc||2023-03-20|Has expired: Unsupported version and users should move to devel/freebsd-gcc12@riscv64

devel/frama-c||2023-03-20|Has expired: Broken since 2021

    SUBDIR += fpc-tplylib

    SUBDIR += fpc-zlib

    SUBDIR += fpp

    SUBDIR += frama-c

    SUBDIR += freebsd-gcc12

    SUBDIR += freebsd-gcc6

    SUBDIR += freebsd-gcc9

PORTNAME=	frama-c

DISTVERSIONPREFIX=	Phosphorus-

DISTVERSION=	20170501

PORTREVISION=	3

CATEGORIES=	devel lang

MASTER_SITES=	http://frama-c.com/download/

MAINTAINER=	ports@FreeBSD.org

COMMENT=	Extensible platform for source-code analysis of C

WWW=		https://frama-c.com/index.html

LICENSE=	LGPL21

BROKEN=		fails to build

DEPRECATED=	Broken since 2021

EXPIRATION_DATE=	2023-03-21

BUILD_DEPENDS=	${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph \

	    ${LOCALBASE}/lib/ocaml/site-lib/zarith/zarith.a:math/ocaml-zarith

RUN_DEPENDS=	${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph \

	    ${LOCALBASE}/lib/ocaml/site-lib/zarith/zarith.a:math/ocaml-zarith

LIB_DEPENDS=	libgmp.so:math/gmp \

	    libfreetype.so:print/freetype2 \

	    libfontconfig.so:x11-fonts/fontconfig

USES=		gettext-runtime gmake gnome localbase pathfix pkgconfig

USE_OCAML=	yes

USE_GNOME=	atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 \

	    libartlgpl2 libgnomecanvas pango

GNU_CONFIGURE=	yes

CONFIGURE_ARGS=	--with-cpp="${FRAMAC_DEFAULT_CPP}" --disable-e_acsl

MAKE_ENV+=	FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \

	    FRAMAC_DATADIR="${FRAMAC_DATADIR}" \

	    STAGEDIR="${STAGEDIR}"

FRAMAC_DEFAULT_CPP?=	${CPP} -C -I${DATADIR}/libc -I.

FRAMAC_LIBDIR=		${PREFIX}/lib/${PORTNAME}

FRAMAC_DATADIR=		${DATADIR}

post-patch:

	@cd ${WRKSRC}/tests; ${MKDIR} aorai report wp wp_acsl wp_bts \

	wp_engine wp_hoare wp_plugin wp_runtime wp_store wp_typed

	@${REINPLACE_CMD} -e 's|@make |@${MAKE_CMD} |' \

			${WRKSRC}/src/plugins/*/Makefile.in

	@${REINPLACE_CMD} \

		-e 's|$$(CP)|${INSTALL_DATA}|' \

		-e 's|add_prefix|addprefix|' \

			${WRKSRC}/share/Makefile.plugin.template

	@${REINPLACE_CMD} \

		-e 's|$$(CP)|${INSTALL_DATA}|' \

		-e 's|add_prefix|addprefix|' \

			${WRKSRC}/share/Makefile.common

	@${REINPLACE_CMD} \

		-e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \

		-e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \

			${WRKSRC}/share/Makefile.dynamic

	@${REINPLACE_CMD} \

		-e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \

		-e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \

			${WRKSRC}/share/Makefile.common

	@${REINPLACE_CMD} -e '\|^# Installation|,\|^# File headers|{ \

		\|_LIBDIR|s|(FRAMAC_LIBDIR)|(DESTDIR)$$(FRAMAC_LIBDIR)|; \

		\|_PLUGINDIR|s|(FRAMAC_PLUGINDIR)|(DESTDIR)$$(FRAMAC_PLUGINDIR)|; \

		\|$$(CP).*bin|s|$$(CP)|${INSTALL_SCRIPT}|; \

		\|$$(CP).*man/|s|$$(CP)|${INSTALL_MAN}|; \

		s|$$(CP)|${INSTALL_DATA}|; }' \

			${WRKSRC}/Makefile

post-install:

	${CHMOD} u+w ${STAGEDIR}${PREFIX}/bin/*

	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*

	${CHMOD} u-w ${STAGEDIR}${PREFIX}/bin/*

	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${PORTNAME}/plugins/gui/*.cmxs

	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${PORTNAME}/plugins/top/*.cmxs

check regression-test test: build

	@cd ${WRKSRC}; ${SETENV} ${MAKE_ENV:NCPP=*} \

	CPP="${CPP} -C -I${WRKSRC}/share/libc -I." \

	${MAKE_CMD} ${MAKE_ARGS} oracles fulltests

.include <bsd.port.mk>

TIMESTAMP = 1496311445

SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99

SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131

--- Makefile.orig	2017-03-03 17:51:06 UTC

+++ Makefile

@@ -1581,12 +1581,12 @@ install-lib: clean-install

 install-doc-code:

 	$(PRINT_INSTALL) API documentation

-	$(MKDIR) $(FRAMAC_DATADIR)/doc/code

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code

 	(cd doc ; tar cf - --exclude='.svn' --exclude='*.toc' \

 			--exclude='*.htm' --exclude='*.txt' \

 			--exclude='*.ml' \

 			code \

-		| (cd $(FRAMAC_DATADIR)/doc ; tar xf -))

+		| (cd $(STAGEDIR)$(FRAMAC_DATADIR)/doc ; tar xf -))

 .PHONY: install

 install:: install-lib

@@ -1595,38 +1595,38 @@ install:: install-lib

 	$(MKDIR) $(MANDIR)/man1

 	$(MKDIR) $(FRAMAC_PLUGINDIR)/top

 	$(MKDIR) $(FRAMAC_PLUGINDIR)/gui

-	$(MKDIR) $(FRAMAC_DATADIR)/theme/default

-	$(MKDIR) $(FRAMAC_DATADIR)/theme/colorblind

-	$(MKDIR) $(FRAMAC_DATADIR)/libc/sys

-	$(MKDIR) $(FRAMAC_DATADIR)/libc/netinet

-	$(MKDIR) $(FRAMAC_DATADIR)/libc/linux

-	$(MKDIR) $(FRAMAC_DATADIR)/libc/net

-	$(MKDIR) $(FRAMAC_DATADIR)/libc/arpa

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/default

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/colorblind

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/sys

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/netinet

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/linux

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/net

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/arpa

 	$(PRINT_INSTALL) shared files

 	$(CP) \

 	  $(wildcard share/*.c share/*.h) \

 	  share/Makefile.dynamic share/Makefile.plugin.template share/Makefile.kernel \

 	  share/Makefile.config share/Makefile.common share/Makefile.generic \

 	  share/configure.ac share/autocomplete_frama-c \

-	  $(FRAMAC_DATADIR)

-	$(MKDIR) $(FRAMAC_DATADIR)/emacs

-	$(CP) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs

-	$(CP) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR)

-	$(CP) $(FEEDBACK_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default

-	$(CP) $(FEEDBACK_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind

+	  $(STAGEDIR)$(FRAMAC_DATADIR)

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/emacs

+	$(CP) $(wildcard share/emacs/*.el) $(STAGEDIR)$(FRAMAC_DATADIR)/emacs

+	$(CP) share/frama-c.rc $(ICONS) $(STAGEDIR)$(FRAMAC_DATADIR)

+	$(CP) $(FEEDBACK_ICONS_DEFAULT) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/default

+	$(CP) $(FEEDBACK_ICONS_COLORBLIND) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/colorblind

 	if [ -d $(EMACS_DATADIR) ]; then \

 	  $(CP) $(wildcard share/emacs/*.el) $(EMACS_DATADIR); \

 	fi

 	$(CP) share/Makefile.dynamic_config.external \

-	      $(FRAMAC_DATADIR)/Makefile.dynamic_config

+	      $(STAGEDIR)$(FRAMAC_DATADIR)/Makefile.dynamic_config

 	$(PRINT_INSTALL) C standard library

 	$(CP) $(wildcard share/libc/*.c share/libc/*.i share/libc/*.h) \

-	      $(FRAMAC_DATADIR)/libc

-	$(CP) share/libc/sys/*.[ch] $(FRAMAC_DATADIR)/libc/sys

-	$(CP) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa

-	$(CP) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net

-	$(CP) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet

-	$(CP) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux

+	      $(STAGEDIR)$(FRAMAC_DATADIR)/libc

+	$(CP) share/libc/sys/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/sys

+	$(CP) share/libc/arpa/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/arpa

+	$(CP) share/libc/net/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/net

+	$(CP) share/libc/netinet/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/netinet

+	$(CP) share/libc/linux/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/linux

 	$(PRINT_INSTALL) binaries

 	$(CP) bin/toplevel.$(OCAMLBEST) $(BINDIR)/frama-c$(EXE)

 	$(CP) bin/toplevel.byte$(EXE) $(BINDIR)/frama-c.byte$(EXE)

@@ -1647,8 +1647,8 @@

 	$(PRINT_INSTALL) config files

 	$(CP) $(addprefix ptests/,$(PTESTS_FILES)) $(FRAMAC_LIBDIR)

 	$(PRINT_INSTALL) API documentation

-	$(MKDIR) $(FRAMAC_DATADIR)/doc/code

-	$(CP) $(wildcard $(DOC_GEN_FILES)) $(FRAMAC_DATADIR)/doc/code

+	$(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code

+	$(CP) $(wildcard $(DOC_GEN_FILES)) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code

 	$(PRINT_INSTALL) dynamic plug-ins

 	if [ -d "$(FRAMAC_PLUGIN)" -a "$(PLUGIN_DYN_EXISTS)" = "yes" ]; then \

 	  $(CP)  $(PLUGIN_DYN_CMI_LIST) $(PLUGIN_META_LIST) \

@@ -1672,7 +1672,7 @@

 	$(PRINT_RM) installed binaries

 	$(RM) $(BINDIR)/frama-c* $(BINDIR)/ptests.$(PTESTSBEST)$(EXE)

 	$(PRINT_RM) installed shared files

-	$(RM) -R $(FRAMAC_DATADIR)

+	$(RM) -R $(STAGEDIR)$(FRAMAC_DATADIR)

 	$(PRINT_RM) installed libraries

 	$(RM) -R $(FRAMAC_LIBDIR) $(FRAMAC_PLUGINDIR)

 	$(PRINT_RM) installed man files