notbugIf you buy from Amazon USA, please support us by using this link.
Port details
urweb Ultimate host for embedded domain-specific languages
20150520_2 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: 2012-04-06 14:37:03
Last Update: 2018-12-12 01:35:36
SVN Revision: 487272
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 : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (57 items)
  1. /usr/local/share/licenses/urweb-20150520_2/catalog.mk
  2. /usr/local/share/licenses/urweb-20150520_2/LICENSE
  3. /usr/local/share/licenses/urweb-20150520_2/BSD3CLAUSE
  4. bin/urweb
  5. include/urweb/config.h
  6. include/urweb/queue.h
  7. include/urweb/request.h
  8. include/urweb/types.h
  9. include/urweb/types_cpp.h
  10. include/urweb/urweb.h
  11. include/urweb/urweb_cpp.h
  12. lib/liburweb.a
  13. lib/liburweb.so
  14. lib/liburweb.so.0
  15. lib/liburweb.so.0.0.0
  16. lib/liburweb_cgi.a
  17. lib/liburweb_cgi.so
  18. lib/liburweb_cgi.so.0
  19. lib/liburweb_cgi.so.0.0.0
  20. lib/liburweb_fastcgi.a
  21. lib/liburweb_fastcgi.so
  22. lib/liburweb_fastcgi.so.0
  23. lib/liburweb_fastcgi.so.0.0.0
  24. lib/liburweb_http.a
  25. lib/liburweb_http.so
  26. lib/liburweb_http.so.0
  27. lib/liburweb_http.so.0.0.0
  28. lib/liburweb_static.a
  29. lib/liburweb_static.so
  30. lib/liburweb_static.so.0
  31. lib/liburweb_static.so.0.0.0
  32. lib/urweb/js/urweb.js
  33. lib/urweb/ur/basis.urs
  34. lib/urweb/ur/char.ur
  35. lib/urweb/ur/char.urs
  36. lib/urweb/ur/datetime.ur
  37. lib/urweb/ur/datetime.urs
  38. lib/urweb/ur/list.ur
  39. lib/urweb/ur/list.urs
  40. lib/urweb/ur/listPair.ur
  41. lib/urweb/ur/listPair.urs
  42. lib/urweb/ur/monad.ur
  43. lib/urweb/ur/monad.urs
  44. lib/urweb/ur/option.ur
  45. lib/urweb/ur/option.urs
  46. lib/urweb/ur/string.ur
  47. lib/urweb/ur/string.urs
  48. lib/urweb/ur/top.ur
  49. lib/urweb/ur/top.urs
  50. share/emacs/site-lisp/urweb-mode/urweb-compat.el
  51. share/emacs/site-lisp/urweb-mode/urweb-defs.el
  52. share/emacs/site-lisp/urweb-mode/urweb-mode-startup.el
  53. share/emacs/site-lisp/urweb-mode/urweb-mode.el
  54. share/emacs/site-lisp/urweb-mode/urweb-move.el
  55. share/emacs/site-lisp/urweb-mode/urweb-util.el
  56. @postexec /usr/sbin/service ldconfig restart > /dev/null
  57. @postunexec /usr/sbin/service ldconfig restart > /dev/null
  58. Collapse this list.

Dependency line: urweb>0:lang/urweb


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

PKGNAME: urweb

There is no flavor information for this port.

ONLY_FOR_ARCHS: i386 amd64

distinfo:

SHA256 (urweb-20150520.tgz) = 35f31c9b39093dc50be72731ae7288245befc1b98bfcdcc481db15a8c937f41a
SIZE (urweb-20150520.tgz) = 4349365


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

Build dependencies:
  1. mlton : lang/mlton
  2. gmake : devel/gmake
  3. postgres : databases/postgresql95-server
Runtime dependencies:
  1. postgres : databases/postgresql95-server
There are no ports dependent upon this port

Configuration Options
===> The following configuration options are available for urweb-20150520_2:
     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 ssl pgsql

Master Sites:
  1. http://www.impredicative.com/ur/

Number of commits found: 23

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
12 Dec 2018 01:35:36
Original commit files touched by this commit  20150520_2
Revision:487272
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
10 Mar 2018 17:46:06
Original commit files touched by this commit  20150520_1
Revision:464084
gerald search for other commits by this committer
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
15 Mar 2017 14:45:31
Original commit files touched by this commit  20150520
Revision:436247
mat search for other commits by this committer
Remove all USE_OPENSSL occurrences.

Sponsored by:	Absolight
01 Apr 2016 14:08:38
Original commit files touched by this commit  20150520
Revision:412347
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
10 Jan 2016 16:44:24
Original commit files touched by this commit  20150520
Revision:405721
bapt search for other commits by this committer
Convert categories m* and m* to USES=sqlite and USES=firebird
16 Aug 2015 03:04:41
Original commit files touched by this commit  20150520
Revision:394385
jbeich search for other commits by this committer
lang/urweb: update to 20150520

ChangeLog:
- Change default behavior of client-side GUI event handlers:
  By default, events are now passed to handlers on parent DOM nodes as well,
  just like in normal JavaScript.
  Call [preventDefault] or [stopPropagation] to tweak that behavior.
  WARNING: This change may break backward compatibility!
- URIs specified with 'file' .urp directive are implicitly allowed to be
referenced.
- New HTML tags: <fieldset>, <legend>
- New urweb-mode Emacs command: 'urweb-close-matching-tag'
- Bug fixes

PR:		202263
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
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: 23

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
libXdmcp*Mar 22
gitlab-ceMar 21
wordpressMar 21
wordpressMar 21
wordpressMar 21
wordpressMar 21
wordpressMar 21
giteaMar 20
gitlab-ceMar 20
firefoxMar 19
firefox-esrMar 19
libxulMar 19
linux-firefoxMar 19
linux-seamonkeyMar 19
linux-thunderbirdMar 19

11 vulnerabilities affecting 150 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-03-22 04:09:33


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 36326
Broken 115
Deprecated 143
Ignore 335
Forbidden 3
Restricted 163
No CDROM 74
Vulnerable 35
Expired 9
Set to expire 118
Interactive 0
new 24 hours 5
new 48 hours12
new 7 days34
new fortnight69
new month148

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