diff options
| author | dholland <dholland> | 2009-10-28 06:13:40 +0000 |
|---|---|---|
| committer | dholland <dholland> | 2009-10-28 06:13:40 +0000 |
| commit | 8704a51e5d4263f114b14b1939e5f30c96ef76ee (patch) | |
| tree | ce5ee6bdc12f20a96fbdc4b0690f33ca70b17a39 /lang/pict/Makefile | |
| parent | 5ec5f97213a9aa6c668c763f39d98f71d0f778b4 (diff) | |
| download | pkgsrc-8704a51e5d4263f114b14b1939e5f30c96ef76ee.tar.gz | |
Initial import of Pict 4.1 into the NetBSD package system.
Pict is a language in the ML tradition, formed by adding a layer of
convenient syntactic sugar and a static type system to a tiny
core. The current release includes a Pict-to-C compiler, reference
manual, language tutorial, numerous libraries, and example programs.
The core language - an asynchronous variant of Milner, Parrow, and
Walker's pi-calculus - has been used as a theoretical foundation for a
broad class of concurrent computations. The goal in Pict is to
identify high-level idioms that arise naturally when these primitives
are used to build working programs - idioms such as basic data
structures, protocols for returning results, higher-order programming,
selective communication, and concurrent objects. The type system
integrates a number of features found in recent work on theoretical
foundations for typed object-oriented languages: higher-order
polymorphism, simple recursive types, subtyping, and a powerful
partial type inference algorithm.
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" |