pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/lang/pict Initial import of Pict 4.1 into the NetBSD p...
details: https://anonhg.NetBSD.org/pkgsrc/rev/88349959fdea
branches: trunk
changeset: 400827:88349959fdea
user: dholland <dholland%pkgsrc.org@localhost>
date: Wed Oct 28 06:13:40 2009 +0000
description:
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:
lang/pict/DESCR | 16 ++++
lang/pict/Makefile | 26 +++++++
lang/pict/PLIST | 123 ++++++++++++++++++++++++++++++++++++
lang/pict/distinfo | 24 +++++++
lang/pict/patches/patch-aa | 32 +++++++++
lang/pict/patches/patch-ab | 39 +++++++++++
lang/pict/patches/patch-ac | 31 +++++++++
lang/pict/patches/patch-ad | 28 ++++++++
lang/pict/patches/patch-ae | 15 ++++
lang/pict/patches/patch-af | 17 +++++
lang/pict/patches/patch-ya | 109 ++++++++++++++++++++++++++++++++
lang/pict/patches/patch-yb | 33 +++++++++
lang/pict/patches/patch-yc | 152 +++++++++++++++++++++++++++++++++++++++++++++
lang/pict/patches/patch-yd | 49 ++++++++++++++
lang/pict/patches/patch-ye | 42 ++++++++++++
lang/pict/patches/patch-yf | 15 ++++
lang/pict/patches/patch-yg | 15 ++++
lang/pict/patches/patch-yh | 58 +++++++++++++++++
lang/pict/patches/patch-yi | 24 +++++++
lang/pict/patches/patch-yj | 48 ++++++++++++++
lang/pict/patches/patch-yk | 15 ++++
lang/pict/patches/patch-yl | 15 ++++
lang/pict/patches/patch-ym | 15 ++++
23 files changed, 941 insertions(+), 0 deletions(-)
diffs (truncated from 1033 to 300 lines):
diff -r 26e7127f1098 -r 88349959fdea lang/pict/DESCR
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/pict/DESCR Wed Oct 28 06:13:40 2009 +0000
@@ -0,0 +1,16 @@
+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.
diff -r 26e7127f1098 -r 88349959fdea lang/pict/Makefile
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/pict/Makefile Wed Oct 28 06:13:40 2009 +0000
@@ -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@localhost
+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"
diff -r 26e7127f1098 -r 88349959fdea lang/pict/PLIST
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/pict/PLIST Wed Oct 28 06:13:40 2009 +0000
@@ -0,0 +1,123 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $
+bin/pict
+lib/pict/Contrib/Chun.px
+lib/pict/Contrib/Chun.px.o
+lib/pict/Contrib/Clock.px
+lib/pict/Contrib/Clock.px.o
+lib/pict/Contrib/Parse.px
+lib/pict/Contrib/Parse.px.o
+lib/pict/Contrib/Ppm.px
+lib/pict/Contrib/Ppm.px.o
+lib/pict/Contrib/TD.px
+lib/pict/Contrib/TD.px.o
+lib/pict/Picture/Basic.px
+lib/pict/Picture/Basic.px.o
+lib/pict/Picture/Combine.px
+lib/pict/Picture/Combine.px.o
+lib/pict/Picture/Other.px
+lib/pict/Picture/Other.px.o
+lib/pict/Picture/Package.px
+lib/pict/Picture/Package.px.o
+lib/pict/Picture/Picture.px
+lib/pict/Picture/Picture.px.o
+lib/pict/Picture/Server.px
+lib/pict/Picture/Server.px.o
+lib/pict/Picture/Transform.px
+lib/pict/Picture/Transform.px.o
+lib/pict/Picture/Types.px
+lib/pict/Picture/Types.px.o
+lib/pict/Picture/Utils.px
+lib/pict/Picture/Utils.px.o
+lib/pict/Posix/Args.px
+lib/pict/Posix/Args.px.o
+lib/pict/Posix/Env.px
+lib/pict/Posix/Env.px.o
+lib/pict/Posix/Fd.px
+lib/pict/Posix/Fd.px.o
+lib/pict/Posix/File.px
+lib/pict/Posix/File.px.o
+lib/pict/Posix/Perm.px
+lib/pict/Posix/Perm.px.o
+lib/pict/Posix/Persona.px
+lib/pict/Posix/Persona.px.o
+lib/pict/Posix/Proc.px
+lib/pict/Posix/Proc.px.o
+lib/pict/Posix/Signals.px
+lib/pict/Posix/Signals.px.o
+lib/pict/Posix/Sockets.px
+lib/pict/Posix/Sockets.px.o
+lib/pict/Posix/Stat.px
+lib/pict/Posix/Stat.px.o
+lib/pict/Posix/Time.px
+lib/pict/Posix/Time.px.o
+lib/pict/Std/Array.px
+lib/pict/Std/Array.px.o
+lib/pict/Std/Array2.px
+lib/pict/Std/Array2.px.o
+lib/pict/Std/Bool.px
+lib/pict/Std/Bool.px.o
+lib/pict/Std/Bytes.px
+lib/pict/Std/Bytes.px.o
+lib/pict/Std/Char.px
+lib/pict/Std/Char.px.o
+lib/pict/Std/Cmp.px
+lib/pict/Std/Cmp.px.o
+lib/pict/Std/Error.px
+lib/pict/Std/Error.px.o
+lib/pict/Std/Events.px
+lib/pict/Std/Events.px.o
+lib/pict/Std/Exn.px
+lib/pict/Std/Exn.px.o
+lib/pict/Std/External.px
+lib/pict/Std/External.px.o
+lib/pict/Std/Float.px
+lib/pict/Std/Float.px.o
+lib/pict/Std/Hash.px
+lib/pict/Std/Hash.px.o
+lib/pict/Std/Int.px
+lib/pict/Std/Int.px.o
+lib/pict/Std/Io.px
+lib/pict/Std/Io.px.o
+lib/pict/Std/List.px
+lib/pict/Std/List.px.o
+lib/pict/Std/MD5.px
+lib/pict/Std/MD5.px.o
+lib/pict/Std/Match.px
+lib/pict/Std/Match.px.o
+lib/pict/Std/Misc.px
+lib/pict/Std/Misc.px.o
+lib/pict/Std/Opt.px
+lib/pict/Std/Opt.px.o
+lib/pict/Std/PP.px
+lib/pict/Std/PP.px.o
+lib/pict/Std/Prim.px
+lib/pict/Std/Prim.px.o
+lib/pict/Std/Queue.px
+lib/pict/Std/Queue.px.o
+lib/pict/Std/Random.px
+lib/pict/Std/Random.px.o
+lib/pict/Std/Ref.px
+lib/pict/Std/Ref.px.o
+lib/pict/Std/Stream.px
+lib/pict/Std/Stream.px.o
+lib/pict/Std/String.px
+lib/pict/Std/String.px.o
+lib/pict/Std/Tags.px
+lib/pict/Std/Tags.px.o
+lib/pict/X11/Xlib.px
+lib/pict/X11/Xlib.px.o
+lib/pict/X11/Xrm.px
+lib/pict/X11/Xrm.px.o
+lib/pict/lib.px
+lib/pict/lib.px.o
+lib/pict/pict
+lib/pict/pict.h
+lib/pict/pictLib.a
+lib/pict/pictLibG.a
+lib/pict/pictLibP.a
+lib/pict/src2pi
+lib/pict/src2tex
+share/doc/pict/defn.ps
+share/doc/pict/design.ps
+share/doc/pict/library.ps
+share/doc/pict/tutorial.ps
diff -r 26e7127f1098 -r 88349959fdea lang/pict/distinfo
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/pict/distinfo Wed Oct 28 06:13:40 2009 +0000
@@ -0,0 +1,24 @@
+$NetBSD: distinfo,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $
+
+SHA1 (pict-4.1.tar.gz) = e3d3341d4dc54ed015b0d89eab6760ee7f14c5cd
+RMD160 (pict-4.1.tar.gz) = aea1df3530387c592a1c5eb9e8f464e242109f86
+Size (pict-4.1.tar.gz) = 1062078 bytes
+SHA1 (patch-aa) = 3b7a643d157414683018448a20d9dea8b22ec8f8
+SHA1 (patch-ab) = 95faebd4a9f85d308844f16f0e589a827e8a0fae
+SHA1 (patch-ac) = e6e93f42efc49d6d3a37335b4a40ec5694b2e0d4
+SHA1 (patch-ad) = 5867631186c5973b76d81704306fb142e479b72d
+SHA1 (patch-ae) = 5eaf7be65894e22a7200e8075dfb988722220765
+SHA1 (patch-af) = 38a20d8bf945b3a3662d4c4ebc0d7158eac607ec
+SHA1 (patch-ya) = d7513a4431ede203217bb39feb42b62c2f9784b0
+SHA1 (patch-yb) = 19c3a5d892f253a450f10ce468b8238653543ee5
+SHA1 (patch-yc) = abc0298eedeb0d459ce067567f96c759df025eb1
+SHA1 (patch-yd) = 4fac383dc8c8fd862f9f3a3ee49585cf51ce87d5
+SHA1 (patch-ye) = e247389fcf286b7121b20f51a4e5d75c3ab7cd47
+SHA1 (patch-yf) = 46c5e4471e647dfa980b6ae11d92f4a6ae7cb163
+SHA1 (patch-yg) = 9874fcadf01644e18667ef048d7045d9b5be9c59
+SHA1 (patch-yh) = dbf12f2a43d740e8f429065bb098654be992c4cc
+SHA1 (patch-yi) = 4cb6d8232c2b9d33478bf4a26bc3b8a705fb15ce
+SHA1 (patch-yj) = ebc56cc20e194238ee18c7b7f35957214d4b7282
+SHA1 (patch-yk) = fd95429fc9670913adce03d23c39a043c40fad3c
+SHA1 (patch-yl) = 65e69f2e8c0e10ab7618532dec14248cb45f85b5
+SHA1 (patch-ym) = f43515051bf75358006e64022b51e7b3eb146ab2
diff -r 26e7127f1098 -r 88349959fdea lang/pict/patches/patch-aa
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/pict/patches/patch-aa Wed Oct 28 06:13:40 2009 +0000
@@ -0,0 +1,32 @@
+$NetBSD: patch-aa,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $
+
+Configure installation dirs for pkgsrc.
+
+--- SiteSpecific.orig 2009-10-23 23:11:58.000000000 -0400
++++ SiteSpecific 2009-10-23 23:28:27.000000000 -0400
+@@ -13,12 +13,12 @@
+ # values for *both* INSTALLDIR and INSTALLLIB.
+ #
+ # Use these settings to install Pict in your own home directory
+-INSTALLDIR = $(HOME)/bin
+-INSTALLLIB = $(HOME)/lib/pict
++#INSTALLDIR = $(HOME)/bin
++#INSTALLLIB = $(HOME)/lib/pict
+ #
+ # Use these settings (as root) to install Pict for system-wide use
+-# INSTALLDIR = /usr/local/bin
+-# INSTALLLIB = /usr/local/lib/pict
++INSTALLDIR = $(PREFIX)/bin
++INSTALLLIB = $(PREFIX)/lib/pict
+
+ # The name of the Gnu C compiler.
+ GCC = gcc
+@@ -84,7 +84,7 @@ safelib::
+ # Default values
+
+ # Miscellaneous settings
+-SHELL = /bin/sh
++SHELL ?= /bin/sh
+ MAKEFLAGS += --no-builtin-rules
+ CWD = $(shell pwd)
+
diff -r 26e7127f1098 -r 88349959fdea lang/pict/patches/patch-ab
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/pict/patches/patch-ab Wed Oct 28 06:13:40 2009 +0000
@@ -0,0 +1,39 @@
+$NetBSD: patch-ab,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $
+
+DESTDIR support.
+
+--- Makefile.orig 2009-10-23 23:31:41.000000000 -0400
++++ Makefile 2009-10-23 23:32:35.000000000 -0400
+@@ -38,7 +38,7 @@ all::
+ @$(MAKE) -C Runtime all
+ @$(MAKE) -C Lib all
+
+-install:: $(INSTALLDIR) $(INSTALLLIB)
++install:: $(DESTDIR)$(INSTALLDIR) $(DESTDIR)$(INSTALLLIB)
+ @$(MAKE) -C Config all
+ @$(MAKE) -C Tools install
+ @$(MAKE) -C Pict install
+@@ -50,6 +50,7 @@ test:: all
+
+ show:
+ @echo "SRCDIR " = $(SRCDIR)
++ @echo "DESTDIR " = $(DESTDIR)
+ @echo "INSTALLDIR " = $(INSTALLDIR)
+ @echo "INSTALLLIB " = $(INSTALLLIB)
+ @echo "GCC " = $(GCC)
+@@ -103,11 +104,11 @@ clean::
+ @$(MAKE) -C Html clean
+ endif
+
+-$(INSTALLDIR):
+- mkdir -p $(INSTALLDIR)
++$(DESTDIR)$(INSTALLDIR):
++ mkdir -p $(DESTDIR)$(INSTALLDIR)
+
+-$(INSTALLLIB):
+- mkdir -p $(INSTALLLIB)
++$(DESTDIR)$(INSTALLLIB):
++ mkdir -p $(DESTDIR)$(INSTALLLIB)
+
+ ifeq ($(PICTDEVEL),yes)
+ all:: ANNOUNCE
diff -r 26e7127f1098 -r 88349959fdea lang/pict/patches/patch-ac
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/pict/patches/patch-ac Wed Oct 28 06:13:40 2009 +0000
@@ -0,0 +1,31 @@
+$NetBSD: patch-ac,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $
+
+DESTDIR support.
+
+--- Lib/Makefile~ 1998-03-22 18:27:04.000000000 -0500
++++ Lib/Makefile 2009-10-23 23:35:22.000000000 -0400
+@@ -9,15 +9,15 @@ include $(SRCDIR)/PiRules
+ PIFLAGS += -reset lib
+
+ install:: $(TARGETS)
+- mkdir -p $(INSTALLLIB)/Contrib $(INSTALLLIB)/Posix
+- mkdir -p $(INSTALLLIB)/Picture $(INSTALLLIB)/Std
Home |
Main Index |
Thread Index |
Old Index