| 1 | # -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4 |
|---|
| 2 | # $Id$ |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | name polyml |
|---|
| 5 | version 5.2.1 |
|---|
| 6 | revision 0 |
|---|
| 7 | categories lang devel ml |
|---|
| 8 | maintainers Ian.Grant@cl.cam.ac.uk |
|---|
| 9 | description Poly/ML is a full implementation of Standard ML (SML) |
|---|
| 10 | long_description Poly/ML supports the full version of the language as given in the \ |
|---|
| 11 | Definition of Standard ML (Revised), generally known as ML97. \ |
|---|
| 12 | As well as being extremely fast and efficient implementation of Standard ML \ |
|---|
| 13 | Poly/ML provides several additional features. There is a foreign language \ |
|---|
| 14 | interface which allows dynamically linked libraries to be loaded and functions \ |
|---|
| 15 | within them called from ML. An X-Windows interface using Motif is available and \ |
|---|
| 16 | there is also a symbolic debugger for Poly/ML. |
|---|
| 17 | homepage http://www.polyml.org/ |
|---|
| 18 | master_sites http://downloads.sourceforge.net/polyml/ |
|---|
| 19 | worksrcdir ${name}.${version} |
|---|
| 20 | distfiles polyml.5.2.1.tar.gz |
|---|
| 21 | checksums md5 303ba7d26c262999685ddd54b36dd16b |
|---|
| 22 | |
|---|
