Port details on branch 2022Q3 |
- urweb Ultimate host for embedded domain-specific languages
- 20200209_2 lang =0 20200209_2Version of this port present on the latest quarterly branch.
- Maintainer: beyert@cs.ucr.edu
- Port Added: 2012-04-06 14:37:03
- Last Update: 2023-12-31 03:54:27
- Commit Hash: 19338aa
- Also Listed In: www
- License: BSD3CLAUSE
- WWW:
- http://www.impredicative.com/ur/
- Description:
- Ur is a programming language in the tradition of ML and Haskell, but featuring
a significantly richer type system. Ur is functional, pure, statically-typed,
and strict. Ur supports a powerful kind of metaprogramming based on row types.
Ur/Web is Ur plus a special standard library and associated rules for parsing
and optimization. Ur/Web supports construction of dynamic web applications
backed by SQL databases. The signature of the standard library is such that
well-typed Ur/Web programs "don't go wrong" in a very broad sense. Not only do
they not crash during particular page generations, but they also may not:
* Suffer from any kinds of code-injection attacks
* Return invalid HTML
* Contain dead intra-application links
* Have mismatches between HTML forms and the fields expected by their
handlers
* Include client-side code that makes incorrect assumptions about the
"AJAX"-style services that the remote web server provides
* Attempt invalid SQL queries
* Use improper marshaling or unmarshaling in communication with SQL databases
or between browsers and web servers
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/urweb/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/urweb
- pkg install urweb
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: urweb
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: amd64 i386
- distinfo:
- TIMESTAMP = 1679330544
SHA256 (urweb-urweb-20200209_GH0.tar.gz) = 56062e4b2485c73e2b912e6c7631ce47e885774dd0ac4e9acbb21594165fac01
SIZE (urweb-urweb-20200209_GH0.tar.gz) = 804989
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- mlton : lang/mlton
- gmake>=4.3 : devel/gmake
- postgres : databases/postgresql15-server
- autoconf>=2.71 : devel/autoconf
- automake>=1.16.5 : devel/automake
- libtoolize : devel/libtool
- Runtime dependencies:
-
- postgres : databases/postgresql15-server
- Library dependencies:
-
- libgmp.so : math/gmp
- libicudata.so : devel/icu
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for urweb-20200209_2:
ELISP=on: Install contributed Emacs Lisp
PGSQL=on: PostgreSQL database support
SQLITE=off: SQLite database support
===> Use 'make config' to modify these settings
- Options name:
- lang_urweb
- USES:
- autoreconf gmake libtool ssl tar:tgz pgsql
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|