urweb Ultimate host for embedded domain-specific languages
20150520_2 lang =0

Maintainer: beyert@cs.ucr.edu
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
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/

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

Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).

Remove all USE_OPENSSL occurrences.

Sponsored by:	Absolight

Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight

Convert categories m* and m* to USES=sqlite and USES=firebird

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)

lang/urweb: update to 20150214

PR:		197660
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

Fix the build with clang 3.5 by using the suggested function.

PR:		196124
Submitted by:	dim@
Approved by:	maintainer

Finally retire USE_PGSQL

Cleanup plist

Convert a bunch of EXTRACT_SUFX=... into USES=tar:...

Approved by:	portmgr (not really, but touches unstaged ports)

Update to 20140704.

PR:		191579
Submitted by:	beyert@cs.ucr.edu (maintainer)

-  Fix pthread error when compiling files at runtime

PR:		ports/191472
Submitted by:	beyert@cs.ucr.edu (maintainer)

- Stagify
- Clarify LICENSE
- Add LICENSE_FILE
- Switch to USES=libtool, drop .la files

Approved by:	portmgr blanket

- Convert gmake,bzip2 to USES

Approved by:	portmgr

Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)

- update to 20120925
- trim Makefile header, while here

PR:		176206
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

- 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)

- correct pkg-descr entry that I forgout about

- update to 20120519

PR:             168179
Submitted by:   Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)

Update to version 20120512

PR:             port/167944
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

- 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

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

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