diff options
Diffstat (limited to 'lang/pict/Makefile')
| -rw-r--r-- | lang/pict/Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/lang/pict/Makefile b/lang/pict/Makefile new file mode 100644 index 00000000000..1879527e9a5 --- /dev/null +++ b/lang/pict/Makefile @@ -0,0 +1,26 @@ +# $NetBSD: Makefile,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $ + +DISTNAME= pict-4.1 +CATEGORIES= lang +MASTER_SITES= http://www.cis.upenn.edu/~bcpierce/papers/pict/pict-4.1/ + +MAINTAINER= dholland@NetBSD.org +HOMEPAGE= http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html +COMMENT= Concurrent language based on Milner's pi calculus + +LICENSE= gnu-gpl-v2 + +PKG_DESTDIR_SUPPORT= user-destdir + +USE_TOOLS+= gmake +INSTALLATION_DIRS+= bin lib/pict share/doc/pict + +MAKE_ENV+= X11INCLUDE=${X11BASE}/include \ + X11LIB=${X11BASE}/lib + +post-install: + ${INSTALL_DATA} ${WRKSRC}/Doc/*.ps ${DESTDIR}${PREFIX}/share/doc/pict/ + +.include "../../lang/ocaml/buildlink3.mk" +.include "../../x11/libX11/buildlink3.mk" +.include "../../mk/bsd.pkg.mk" |