summaryrefslogtreecommitdiff
path: root/devel/verifast/Makefile
blob: ed3e5b5808dc5e1c81bff785f431dcb20e3c339d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
# $NetBSD: Makefile,v 1.35 2020/11/05 09:07:59 ryoon Exp $

DISTNAME=		verifast-18.02
PKGREVISION=		23
CATEGORIES=		devel
MASTER_SITES=		${MASTER_SITE_GITHUB:=verifast/}
GITHUB_PROJECT=		verifast
GITHUB_TAG=		${PKGVERSION_NOREV}

MAINTAINER=		ryoon@NetBSD.org
HOMEPAGE=		https://people.cs.kuleuven.be/~bart.jacobs/verifast/
COMMENT=		VeriFast code verifier in separation logic
LICENSE=		mit

USE_TOOLS+=		gmake pax pkg-config
MAKE_FILE=		GNUmakefile
BUILD_MAKE_FLAGS+=	-C src NUMCPU=${MAKE_JOBS}

BUILD_DEPENDS+=		vala-[0-9]*:../../lang/vala
BUILD_DEPENDS+=		camlp4-[0-9]*:../../lang/camlp4

VF_DIR=			share/verifast
INSTALLATION_DIRS=	${VF_DIR} bin
OCAML_USE_FINDLIB=	yes

do-configure:
	${CP} ${FILESDIR}/GNUmakefile.settings ${WRKSRC}/
SUBST_CLASSES+=		conf
SUBST_FILES.conf=	GNUmakefile.settings
SUBST_VARS.conf=	PREFIX OCAML_SITELIBDIR PKGVERSION_NOREV
SUBST_STAGE.conf=	post-configure

do-install:
	cd ${WRKSRC}/bin && ${FIND} . -type f -print | \
		pax -rw -pmp ${DESTDIR}${PREFIX}/${VF_DIR}
	${ECHO} "#! ${SH}" > ${DESTDIR}${PREFIX}/bin/vfide
	${ECHO} '${PREFIX}/${VF_DIR}/vfide "$$@"' \
		>> ${DESTDIR}${PREFIX}/bin/vfide
	${CHMOD} 755 ${DESTDIR}${PREFIX}/bin/vfide

.include "../../mk/ocaml.mk"

.include "../../lang/camlp4/buildlink3.mk"
.include "../../math/ocaml-num/buildlink3.mk"
.include "../../math/z3/buildlink3.mk"
.include "../../x11/ocaml-lablgtk/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"