diff options
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 169 |
1 files changed, 169 insertions, 0 deletions
diff --git a/debian/control b/debian/control new file mode 100644 index 00000000..a7870b36 --- /dev/null +++ b/debian/control @@ -0,0 +1,169 @@ +Source: urweb +Section: devel +Priority: optional +Maintainer: Benjamin Barenblat <bbaren@mit.edu> +Build-Depends: + curl, + debhelper-compat (= 13), + default-libmysqlclient-dev, + libpq-dev, + libsqlite3-dev, + libssl-dev, + mlton, + sqlite3, + uthash-dev +Build-Depends-Indep: + emacs, + texlive-fonts-recommended, + texlive-latex-extra +Rules-Requires-Root: no +Standards-Version: 4.5.0 +Homepage: http://impredicative.com/ur/ +Vcs-Browser: https://github.com/urweb/debian-urweb +Vcs-Git: https://github.com/urweb/debian-urweb.git + +Package: urweb +Architecture: any +Pre-Depends: ${misc:Pre-Depends} +Depends: + default-libmysqlclient-dev, + gcc | c-compiler, + libpq-dev, + libsqlite3-dev, + libssl-dev, + liburweb0, + liburweb-cgi0, + liburweb-fastcgi0, + liburweb-http0, + liburweb-static0, + uthash-dev, + ${shlibs:Depends}, + ${misc:Depends} +Recommends: + gcc, + urweb-doc, + urweb-mode +Description: purely functional language for web programming + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the urweb compiler and development libraries; you do not + need to install it to run applications written in Ur/Web. + +Package: liburweb0 +Section: libs +Architecture: any +Multi-Arch: same +Pre-Depends: ${misc:Pre-Depends} +Depends: ${shlibs:Depends}, ${misc:Depends} +Suggests: + liburweb-cgi0, + liburweb-fastcgi0, + liburweb-http0, + liburweb-static0 +Description: urweb runtime system + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the runtime library for executables compiled with urweb. + Packages should not depend on this package; instead, they should depend on one + of the urweb backend packages, each of which depends on this one. + +Package: liburweb-cgi0 +Section: libs +Architecture: any +Multi-Arch: same +Pre-Depends: ${misc:Pre-Depends} +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: urweb CGI backend + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the CGI backend for executables compiled with urweb. + +Package: liburweb-fastcgi0 +Section: libs +Architecture: any +Multi-Arch: same +Pre-Depends: ${misc:Pre-Depends} +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: urweb FastCGI backend + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the FastCGI backend for executables compiled with urweb. + +Package: liburweb-http0 +Section: libs +Architecture: any +Multi-Arch: same +Pre-Depends: ${misc:Pre-Depends} +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: urweb standalone backend + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the standalone backend for web servers generated with + urweb. + +Package: liburweb-static0 +Section: libs +Architecture: any +Multi-Arch: same +Pre-Depends: ${misc:Pre-Depends} +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: urweb static backend + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the static-file backend for executables compiled with + urweb. + +Package: urweb-doc +Section: doc +Architecture: all +Multi-Arch: foreign +Depends: ${misc:Depends} +Recommends: xpdf | pdf-viewer +Description: Ur/Web reference manual + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the Ur/Web reference manual in PDF format. + +Package: urweb-mode +Section: editors +Architecture: all +Multi-Arch: foreign +Depends: + emacsen-common (>= 2.0.8), + ${misc:Depends} +Description: Emacs mode for editing Ur/Web programs + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides an Emacs mode for editing Ur/Web source files. |