1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-04 01:48:54 +00:00
Mirror of the FreeBSD ports git repo https://git.FreeBSD.org/ports.git .
Go to file
Martin Wilke 9167338b4d IMP is a monadic style implementation of the semantics of the (very simple)
language IMP, "plain" the implementation with explicit passing of state.

The semantics of the IMP-language is presented in the book:

 "The Formal Semantics of Programming Languages" by Glynn Winskel
    (1993, The MIT Press).

 for more details on monads, see Philip Wadler's page on:

 http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads

 Author: Markus Mottl <markus.mottl@gmail.com>
 WWW:    http://www.ocaml.info/home/ocaml_sources.html

PR:		ports/102103
Submitted by:	Stanislav Sedov <ssedov@mbsd.msk.ru>
Approved by:	krion (mentor)
2006-08-17 21:16:30 +00:00
accessibility - Fix PLIST: Remove locale dirs not contained in BSD.x11-4.dist 2006-08-07 12:14:37 +00:00
arabic BROKEN: Does not build 2006-08-17 20:53:54 +00:00
archivers - update to 1.14i-ac20050924 2006-08-17 05:12:37 +00:00
astro - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-14 10:08:25 +00:00
audio - Fix plist location 2006-08-17 19:30:06 +00:00
benchmarks Install to /... instead of to /... 2006-08-12 15:16:47 +00:00
biology - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-14 10:08:25 +00:00
cad Fix fetch. 2006-08-16 15:12:47 +00:00
chinese -Upgrade to 3.5 2006-08-17 06:59:09 +00:00
comms - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-14 22:55:18 +00:00
converters WAP::wbxml module implements binarisation of XML file according the 2006-08-17 21:00:40 +00:00
databases - distfile has been re-rolled. 2006-08-16 15:53:14 +00:00
deskutils BROKEN: Incorrect pkg-plist 2006-08-17 20:44:56 +00:00
devel The Shell::Source allows arbitrary shell scripts, or other programs for 2006-08-17 21:08:54 +00:00
dns - Update to 0.09 2006-08-15 00:10:49 +00:00
editors BROKEN: Unfetchable 2006-08-17 21:05:21 +00:00
emulators BROKEN: Does not compile 2006-08-17 20:47:37 +00:00
finance - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-14 23:06:39 +00:00
french - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-14 23:06:39 +00:00
ftp - Pass maintainership to submitter 2006-08-15 08:23:59 +00:00
games BROKEN: Incorrect pkg-plist 2006-08-17 20:57:42 +00:00
german Some fixes were done in language support, 2006-08-05 15:02:35 +00:00
graphics BROKEN: Does not build 2006-08-17 21:04:46 +00:00
hebrew All dictionaries can be installed separately: 2006-07-15 14:28:44 +00:00
hungarian Now installs again. 2006-08-16 19:31:05 +00:00
irc Fix dependency after eggdrop update 2006-08-16 16:22:31 +00:00
japanese - Move Japanese dvips map files to the teTeX-3 standard MAPDIR. 2006-08-17 12:27:25 +00:00
java * Add registervm and unregistervm [1] 2006-08-17 05:20:26 +00:00
korean temporarily, I mark it BROKEN in 4.x. 2006-08-13 07:50:17 +00:00
lang IMP is a monadic style implementation of the semantics of the (very simple) 2006-08-17 21:16:30 +00:00
mail BROKEN: Does not compile 2006-08-17 20:54:51 +00:00
math BROKEN: Does not build 2006-08-17 21:04:46 +00:00
mbone Fix breakage due to audio/gsm import. 2006-08-14 20:07:47 +00:00
misc - Update to 0.10 2006-08-17 15:39:28 +00:00
Mk - s/${DESTDIR}${PREFIX}/${TARGETDIR}/ 2006-08-14 13:24:18 +00:00
multimedia - Move to LOCALBASE, force by bumping PORTREVISION 2006-08-16 12:32:27 +00:00
net - Update to 0.8.2 2006-08-17 19:16:37 +00:00
net-im - Use Twisted 2.x as default 2006-08-17 19:32:46 +00:00
net-mgmt Restore correct regexp matching. 2006-08-17 15:52:58 +00:00
net-p2p - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-15 00:56:24 +00:00
news - Fix a few incorrect file permissions after install. 2006-08-03 14:39:44 +00:00
palm Now builds on 7.x 2006-08-17 09:38:44 +00:00
polish Set correct dependency on libgadu. 2006-07-28 17:11:06 +00:00
ports-mgmt Catch up with ports/Mk/bsd.port.subdir.mk r1.65. 2006-08-17 07:12:56 +00:00
portuguese All dictionaries can be installed separately: 2006-07-15 14:28:44 +00:00
print - Define USE_GETTEXT, bump PORTREVISION 2006-08-15 08:27:47 +00:00
russian Add port www/xpi-imagezoom: 2006-08-09 10:54:42 +00:00
science Now builds 2006-08-17 12:38:09 +00:00
security - Remove NOPORTDOCS from OPTIONS since the correct is check NOPORTDOCS and 2006-08-17 19:39:48 +00:00
shells - Respect DESTDIR for all my ports 2006-08-07 07:58:28 +00:00
sysutils BROKEN: Configure fails 2006-08-17 21:03:29 +00:00
Templates
textproc BROKEN: Incorrect pkg-plist (despite previous commit) 2006-08-17 20:59:32 +00:00
Tools Add support for DESTDIR part I. 2006-08-04 12:34:50 +00:00
ukrainian All dictionaries can be installed separately: 2006-07-15 14:28:44 +00:00
vietnamese All dictionaries can be installed separately: 2006-07-15 14:28:44 +00:00
www BROKEN: Unfetchable (despite previous commit) 2006-08-17 21:02:39 +00:00
x11 settitle can set the icon and/or window titles of terminal emulator 2006-08-16 21:38:07 +00:00
x11-clocks - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-15 01:11:33 +00:00
x11-drivers/synaptics Update to 0.14.6. 2006-08-13 01:49:26 +00:00
x11-fm - Remove directories that are not in mtree file 2006-08-15 07:56:23 +00:00
x11-fonts BROKEN: Does not build 2006-08-17 20:53:54 +00:00
x11-servers - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-15 01:11:33 +00:00
x11-themes - s,INSTALLS_SHLIB,USE_LDCONFIG,g 2006-08-15 01:11:33 +00:00
x11-toolkits There's some bug somewhere in some cleanup routine of either tcl84 or p5-Tcl 2006-08-17 09:52:33 +00:00
x11-wm - Partially revert previous changes. 2006-08-15 11:27:21 +00:00
.cvsignore
CHANGES Document bsd.sites.mk macro magic 2006-08-04 20:44:18 +00:00
COPYRIGHT Happy new year! 2006-01-15 22:11:50 +00:00
GIDs Add ID for Tiarra IRC Proxy. 2006-07-29 07:16:00 +00:00
KNOBS Add WITH_ISPELL 2006-07-05 15:18:35 +00:00
LEGAL add archivers/lha-ac 2006-08-17 05:02:45 +00:00
Makefile - Fix the make_index script if PORTSDIR is a path which contains a 2006-02-11 02:26:30 +00:00
MOVED Remove the unfetchable, abandoned, and overall dead net/magictun port. 2006-08-17 09:24:26 +00:00
README - Refresh README a little 2006-05-22 20:12:17 +00:00
UIDs Add ID for Tiarra IRC Proxy. 2006-07-29 07:16:00 +00:00
UPDATING - Update to 3.0.23b 2006-08-15 15:25:02 +00:00

This is the FreeBSD Ports Collection.  For an easy to use
WEB-based interface to it, please see:

	http://www.FreeBSD.org/ports

For general information on the Ports Collection, please see the
FreeBSD Handbook ports section which is available from:

	http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/ports.html
		for the latest official version
	or:
	The ports(7) manual page (man ports).

These will explain how to use ports and packages.

If you would like to search for a port, you can do so easily by
saying (in /usr/ports):


	make search name="<name>"
	or:
	make search key="<keyword>"

which will generate a list of all ports matching <name> or <keyword>.
make search also supports wildcards, such as:

	make search name="gtk*"

For information about contributing to FreeBSD ports, please see the Porter's
Handbook, available at:

	http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/porters-handbook/

NOTE:  This tree will GROW significantly in size during normal usage!
The distribution tar files can and do accumulate in /usr/ports/distfiles,
and the individual ports will also use up lots of space in their work
subdirectories unless you remember to "make clean" after you're done
building a given port.  /usr/ports/distfiles can also be periodically
cleaned without ill-effect.