blob: 2ac74672e9d87e4768fa90b4faabe394e863c868 (
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.22 2020/01/26 17:31:30 rillig Exp $
DISTNAME= pict-4.1
PKGREVISION= 16
CATEGORIES= lang
MASTER_SITES= http://www.cis.upenn.edu/~bcpierce/papers/pict/pict-4.1/
PATCH_SITES= http://www.NetBSD.org/~dholland/patchkits/pict/
PATCHFILES= pict-jumbo-patch-20180316.gz
PATCH_DIST_STRIP= -p1
MAINTAINER= dholland@NetBSD.org
HOMEPAGE= https://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
COMMENT= Concurrent language based on Milner's pi calculus
LICENSE= gnu-gpl-v2
MAKE_JOBS_SAFE= no
USE_TOOLS+= gmake
INSTALLATION_DIRS+= bin lib/pict share/doc/pict
MAKE_ENV+= X11INCLUDE=${X11BASE}/include \
X11LIB=${X11BASE}/lib
TEST_TARGET= test
.include "../../mk/ocaml.mk"
.if !empty(OCAML_USE_OPT_COMPILER:Myes)
MAKE_ENV+= OCAMLOPT=yes
.endif
post-install:
${INSTALL_DATA} ${WRKSRC}/Doc/*.ps ${DESTDIR}${PREFIX}/share/doc/pict/
.include "../../x11/libX11/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
|
