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

I am looking for an LTO tape library. Do you have one to spare?
Port details
urweb 20140704 lang on this many watch lists=0 search for ports that depend on this port
Ultimate host for embedded domain-specific languages
Maintained by: 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 : Main Web Site : Distfiles Availability : PortsMon

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

Required To Build:
  1. lang/mlton
  2. security/openssl
  3. devel/gmake
  4. databases/postgresql92-server
Required To Run:
  1. security/openssl
  2. databases/postgresql92-server
Required Libraries:
  1. databases/postgresql92-client
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-20140704:
     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

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

Number of commits found: 13

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 13

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
chromiumAug 26
fileAug 21
py-djangoAug 21
py-django-develAug 21
py-django14Aug 21
py-django15Aug 21
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06

6 vulnerabilities affecting 9 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 24040
Broken 145
Deprecated 178
Ignore 416
Forbidden 17
Restricted 212
No CDROM 94
Vulnerable 23
Expired 95
Set to expire 167
Interactive 0
new 24 hours 4
new 48 hours9
new 7 days34
new fortnight87
new month261

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