FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Please give me your LTO-4 or better tape library and I'll put it to good use.
Port details
urweb Ultimate host for embedded domain-specific languages
20150214 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 06 Apr 2012 14:37:03
Also Listed In: www
License: BSD3CLAUSE
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

WWW: http://www.impredicative.com/ur/
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. mlton : lang/mlton
  2. libcrypto.so.8 : security/openssl
  3. gmake : devel/gmake
  4. postgres : databases/postgresql93-server
Runtime dependencies:
  1. libcrypto.so.8 : security/openssl
  2. postgres : databases/postgresql93-server
There are no ports dependent upon this port

To install the port: cd /usr/ports/lang/urweb/ && make install clean
To add the package: pkg install lang/urweb


Configuration Options
===> The following configuration options are available for urweb-20150214:
     ELISP=on: Install contributed Emacs Lisp
     MYSQL=off: MySQL database support
     PGSQL=on: PostgreSQL database support
     SQLITE=off: SQLite database support
===> Use 'make config' to modify these settings

USES:
gmake libtool tar:tgz pgsql

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://www.impredicative.com/ur/

Number of commits found: 17

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
22 Feb 2015 22:03:46
Original commit files touched by this commit  20150214
Revision:379632
rm search for other commits by this committer
lang/urweb: update to 20150214

PR:		197660
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
14 Feb 2015 13:58:07
Original commit files touched by this commit  20140704
Revision:378962
kwm search for other commits by this committer
Fix the build with clang 3.5 by using the suggested function.

PR:		196124
Submitted by:	dim@
Approved by:	maintainer
22 Nov 2014 20:40:09
Original commit files touched by this commit  20140704
Revision:373100  Sanity Test Failure
crees search for other commits by this committer
Finally retire USE_PGSQL
27 Oct 2014 15:23:31
Original commit files touched by this commit  20140704
Revision:371587
bapt search for other commits by this committer
Cleanup plist
29 Jul 2014 19:11:53
Original commit files touched by this commit  20140704
Revision:363374
adamw search for other commits by this committer
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...

Approved by:	portmgr (not really, but touches unstaged ports)
08 Jul 2014 22:47:13
Original commit files touched by this commit  20140704
Revision:361318
rakuco search for other commits by this committer
Update to 20140704.

PR:		191579
Submitted by:	beyert@cs.ucr.edu (maintainer)
02 Jul 2014 16:21:52
Original commit files touched by this commit  20120925_2
Revision:360217
danilo search for other commits by this committer
-  Fix pthread error when compiling files at runtime

PR:		ports/191472
Submitted by:	beyert@cs.ucr.edu (maintainer)
01 Jul 2014 15:02:12
Original commit files touched by this commit  20120925_1
Revision:360027
amdmi3 search for other commits by this committer
- Stagify
- Clarify LICENSE
- Add LICENSE_FILE
- Switch to USES=libtool, drop .la files

Approved by:	portmgr blanket
26 May 2014 14:47:57
Original commit files touched by this commit  20120925
Revision:355354
miwi search for other commits by this committer
- Convert gmake,bzip2 to USES

Approved by:	portmgr
20 Sep 2013 19:53:10
Original commit files touched by this commit  20120925
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
18 Feb 2013 18:23:39
Original commit files touched by this commit  20120925
Revision:312516
rm search for other commits by this committer
- update to 20120925
- trim Makefile header, while here

PR:		176206
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
11 Aug 2012 05:42:47
Original commit files touched by this commit  20120807
rm search for other commits by this committer
- update to 20120807

while here:
- convert to optionsNG
- tab -> space in pkg-descr:WWW

PR:		170486
Submitted by:	Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)
03 Jun 2012 23:30:16
Original commit files touched by this commit  20120512
rm search for other commits by this committer
- correct pkg-descr entry that I forgout about
03 Jun 2012 23:28:44
Original commit files touched by this commit  20120519
rm search for other commits by this committer
- update to 20120519

PR:             168179
Submitted by:   Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)
16 May 2012 22:11:56
Original commit files touched by this commit  20120512
pawel search for other commits by this committer
Update to version 20120512

PR:             port/167944
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
09 Apr 2012 11:54:04
Original commit files touched by this commit  20120329_1
scheidell search for other commits by this committer
- Fix suggested by upstream. Revise mutex initializer patch to avoid deadlocks
- Bump PORTREVISION

PR:             ports/166778
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
Feature safe:   yes
06 Apr 2012 14:36:30
Original commit files touched by this commit  20120329
scheidell search for other commits by this committer
Add New Port lang/urweb: 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.

PR:             ports/166657
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu>
Feature safe:   yes

Number of commits found: 17

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
bitcoinJul 06
iojs*Jul 06
node*Jul 06
node-devel*Jul 06
squidJul 06
squidJul 06
cups-filtersJul 03
libressl*Jul 03
linux-c6-openssl*Jul 03
mingw32-openssl*Jul 03
openssl*Jul 03
ansibleJul 02
ansibleJul 02
ansibleJul 02
ansibleJul 02

31 vulnerabilities affecting 55 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24996
Broken 207
Deprecated 114
Ignore 504
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 32
Expired 3
Set to expire 102
Interactive 0
new 24 hours 16
new 48 hours20
new 7 days67
new fortnight126
new month211

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.