blob: a4456df0093df1857652ec48adb47c652b7e56cd (
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
|
# $NetBSD: Makefile,v 1.6 2017/11/23 17:19:52 wiz Exp $
DISTNAME= verifast-17.06
PKGREVISION= 4
CATEGORIES= devel
MASTER_SITES= ${MASTER_SITE_GITHUB:=verifast/}
GITHUB_PROJECT= verifast
GITHUB_TAG= v${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
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 "../../lang/camlp4/buildlink3.mk"
BUILDLINK_DEPMETHOD.ocaml= full
.include "../../lang/ocaml/buildlink3.mk"
.include "../../x11/ocaml-lablgtk/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
|
