urweb Ultimate host for embedded domain-specific languages

20150520_3 lang =0 20150520Version of this port present on the latest quarterly branch.

IGNORE: is marked as broken on FreeBSD 12.0: invalid target: self

Maintainer: beyert@cs.ucr.edu

Port Added: 2012-04-06 14:37:03

Last Update: 2019-07-26 21:46:57

SVN Revision: 507372

Also Listed In: www

License: BSD3CLAUSE

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 WWW: http://www.impredicative.com/ur/

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (57 items)

1. /usr/local/share/licenses/urweb-20150520_3/catalog.mk
2. /usr/local/share/licenses/urweb-20150520_3/LICENSE
3. /usr/local/share/licenses/urweb-20150520_3/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 lines:

• urweb>0:lang/urweb
• liburweb.so:lang/urweb

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

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

PKGNAME: urweb

Flavors: there is no flavor information for this port.

ONLY_FOR_ARCHS: i386 amd64

distinfo:

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

Dependencies

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_3: 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
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

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, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330

Mark BROKEN on FreeBSD 12 and 13

mlton  -mlb-path-var 'SRC /wrkdirs/usr/ports/lang/urweb/work/urweb-20150520/src'
-mlb-path-var 'BUILD /wrkdirs/usr/ports/lang/urweb/work/urweb-20150520/src'
-output bin/urweb src/compiler.mlb
invalid target: self

Reported by:	pkg-fallout
MFH:		2019Q2

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

8 vulnerabilities affecting 24 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2019-10-15 15:43:31