1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218
|
Source: smlnj
Section: devel
Priority: optional
Maintainer: Debian QA Group <packages@qa.debian.org>
Build-Depends: debhelper (>= 9), gcc-multilib [amd64]
Build-Depends-Indep: ghostscript,
latexmk,
texlive-binaries,
texlive-generic-extra,
texlive-generic-recommended,
texlive-latex-base,
texlive-latex-extra,
texlive-latex-recommended,
texlive-science,
texlive-pictures,
transfig
Standards-Version: 3.9.8
Homepage: http://www.smlnj.org/
Vcs-Git: https://anonscm.debian.org/git/collab-maint/smlnj.git
Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/smlnj.git
Package: smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj-runtime (= ${binary:Version}), ${misc:Depends}
Replaces: sml-nj
Recommends: libsmlnj-smlnj
Suggests: smlnj-doc
Description: Standard ML of New Jersey interactive compiler
SML/NJ is an implementation of the Standard ML programming language.
Standard ML has many features, including type safety, polymorphism,
algebraic data types with pattern matching, higher-order functions,
and a sophisticated module system. It is especially well-suited for
writing compilers and other language processors.
.
This package includes the interactive compiler (sml), the compilation
manager (CM), and some essential libraries. It is a "working"
version, but believed to be stable.
.
Install this package if you want to program in SML.
Package: smlnj-doc
Architecture: all
Section: doc
Depends: ${misc:Depends}
Suggests: smlnj
Description: Documentation for Standard ML of New Jersey
This package contains various documentation for SML/NJ, an
implementation of the Standard ML programming language.
.
More documentation can be found on the web site.
Package: smlnj-runtime
Architecture: amd64 i386 powerpc
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: Standard ML of New Jersey runtime system
SML/NJ is an implementation of the Standard ML programming language.
This package includes the runtime system only -- it provides garbage
collection and other support for compiled SML programs.
.
Install this package if you want to run programs compiled with SML/NJ.
Package: libsmlnj-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: Useful libraries for Standard ML of New Jersey
A library for SML, including:
* Util A general utility library.
* Controls A library of support code for managing application controls.
* HashCons A library supporting hash-consing of data structures and
efficient sets and maps using hash-consed keys.
* HTML Provides parsing and pretty printing of HTML.
* INet Networking utilities.
* PP Pretty-printing library.
* Reactive A low-level reactive scripting library.
* RegExp Regular-expression library.
* Unix A set of unix specific utilities.
Package: ml-lex
Architecture: amd64 i386 powerpc
Depends: smlnj-runtime (= ${binary:Version}), ${misc:Depends}
Description: Lexical analyzer generator for Standard ML
Lexical analysis is the problem of segmenting input into words and
recognizing different classes of words. ml-lex uses regular
expressions to describe classes of words. It transforms a simple
declarative language specification into an efficient SML program for
analyzing that language.
.
Install this package if you want to produce a lexer in Standard ML.
Package: ml-yacc
Architecture: amd64 i386 powerpc
Depends: smlnj-runtime (= ${binary:Version}), ${misc:Depends}
Description: Parser generator for Standard ML
SML version of the yacc program, generates a parser for a LALR language.
This package is useful for SML developers requiring a parser in their
work.
Package: ml-burg
Architecture: amd64 i386 powerpc
Depends: ml-lex (= ${binary:Version}), ${misc:Depends}
Description: Code generator for Standard ML
ml-burg generates a Standard ML program to perform bottom-up
rewriting of an input tree. Cost information associated with each
rewrite rule is used to derive the minimum rewrite cost for the
entire tree. A successful reduction corresponds to rewriting the
input tree to a special non-terminal symbol called the "start"
non-terminal. Upon successful reduction, facilities are provided to
walk the tree emitting semantic actions corresponding to the rules
that matched.
.
Install this package if you want to write a compiler in SML using a
burg specification.
Package: libpgraphutil-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: Portable graph utility library for SML Compilation Manager
Utility routines for use with portable dependency graphs. This
package contains support to build list-of-edges dependency graphs and
convert them back into valid SML code.
Package: libcml-smlnj
Architecture: amd64 i386 powerpc
Depends: libsmlnj-smlnj (= ${binary:Version}), ${misc:Depends}
Description: Concurrent ML extension of SML
An SML library for message-passing concurrency. This library adds
threading support to SML. Each thread is then manually executed by
running a separate function, rather than being called directly by the
top-level SML loop.
Package: libcmlutil-smlnj
Architecture: amd64 i386 powerpc
Depends: libcml-smlnj (= ${binary:Version}), ${misc:Depends}
Description: Concurrent ML utility library
Not all modules in the normal SML/NJ library are thread safe. This
library provides thread-safe implementations of these
libraries.
Package: libexene-smlnj
Architecture: amd64 i386 powerpc
Depends: libcml-smlnj (= ${binary:Version}),
libcmlutil-smlnj (= ${binary:Version}),
${misc:Depends}
Description: Concurrent ML library for the X Window System
A multi-threaded X Window System toolkit written in Concurrent
ML. Many other windowing toolkits, such as Xlib, register separate
functions that are called by a centralized event processing loop. In
contrast, eXene maintains each window and graphical object in a
separate thread that has the ability to update itself.
Package: libckit-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: SML library for parsing and type-checking C programs
ckit is a C front end written in SML that translates C source code (after
preprocessing) into abstract syntax represented as a set of SML datatypes.
It also provides facilities for extending the C language with additional
syntactic constructs, which can be useful for implementing "C-like"
domain-specific languages as well as C dialects.
Package: libmlnlffi-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Recommends: ml-nlffigen
Description: No Longer Foreign Function Interface
Allows ML programs to inspect and manipulate C data structures
directly. This is implemented through three separate libraries, one
that provides a user-code accessible frontend, one that
implements this, and another that handles low-level raw memory
access.
Package: ml-nlffigen
Architecture: amd64 i386 powerpc
Depends: libckit-smlnj (= ${binary:Version}),
libsmlnj-smlnj (= ${binary:Version}),
${misc:Depends}
Description: ML generator for C glue code
This tool reads in C source code and outputs ML code and a CM
description file for use with the ML "No Longer Foreign Function
Interface" library. This tool works by separating each top-level C
declaration into a new ML source file. For large programs, this
puts some strain on the SML Compilation Manager, but this should only
marginally increase the program run-time.
Package: libmlrisctools-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: Library for generating MLRISC modules
The MLRISC system allows an easy way to create a back-end to convert
SML into machine code. These tools provide an easy way to generate
MLRISC modules from machine descriptions.
Package: nowhere
Architecture: amd64 i386 powerpc
Depends: libmlrisctools-smlnj (= ${binary:Version}), ${misc:Depends}
Description: Translates programs from an extended Standard ML to Standard ML
This is a source-to-source translation tool that expands case
expressions that use conditional patterns. Conditional patterns that
use the "where" keyword are converted into SML.
Package: ml-lpt
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Provides: ml-antlr, ml-ulex
Description: SML/NJ language processing tools
Tradition has it that when a new programming language is introduced,
new scanner and parser generators are written in that language, and
generate code for that language. Traditional also has it that the
new tools are modeled after the old lex and yacc tools, both in terms
of the algorithms used, and often the syntax as well. The language
Standard ML is no exception: ml-lex and ml-yacc are the SML
incarnations of the old Unix tools.
.
This package has two new tools, ml-ulex and ml-antlr, that follow
tradition in separating scanning from parsing, but break from
tradition in their implementation: ml-ulex is based on regular
expression derivatives rather than subset-construction, and ml-antlr
is based on LL(k) parsing rather than LALR(1) parsing.
|