Port details |
- urweb Ultimate host for embedded domain-specific languages
- 20150520_3 lang
=0 Version of this port present on the latest quarterly branch. BROKEN: fails to build
IGNORE: is marked as broken: fails to build
- Maintainer: beyert@cs.ucr.edu
 - Port Added: 2012-04-06 14:37:03
- Last Update: 2022-07-20 14:22:15
- Commit Hash: f98ae56
- 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 : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- 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
- No package information for this port in our database
- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- mlton : lang/mlton
- gmake>=4.3 : devel/gmake
- postgres : databases/postgresql13-server
- Runtime dependencies:
-
- postgres : databases/postgresql13-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
- Options name:
- lang_urweb
- USES:
- gmake libtool tar:tgz ssl pgsql
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
20 Jul 2022 14:22:15 20150520_3 |
Tobias C. Berner (tcberner)  |
lang: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Adam Weinberger <adamw@FreeBSD.org>
* Akinori MUSHA aka knu <knu@idaemons.org>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Alonso Cardenas Marquez <acm@FreeBSD.org>
* Andreas Klemm <andreas@klemm.gtn.com>
* Andrew Pantyukhin <infofarmer@FreeBSD.org>
* Andrey Zakhvatov
* Anton Berezin <tobez@FreeBSD.org>
* Anton Berezin <tobez@tobez.org> (Only the first 15 lines of the commit message are shown above ) |
06 Apr 2021 14:31:07 20150520_3 |
Mathieu Arnold (mat)  |
Remove # $FreeBSD$ from Makefiles. |
08 Oct 2020 18:03:44
20150520_3 |
antoine  |
Mark BROKEN everywhere
memmem.c:81:25: error: misleading indentation; statement is not part of the
previous 'if' [-Werror,-Wmisleading-indentation]
sp++;
^
memmem.c:77:17: note: previous statement is here
if (*sp == *pp)
^
Reported by: pkg-fallout |
15 Nov 2019 10:12:08
20150520_3 |
tobik  |
Move remaining USE_MYSQL, WANT_MYSQL_VER to USES=mysql |
26 Jul 2019 20:46:57
20150520_3 |
gerald  |
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 |
22 Apr 2019 16:03:30
20150520_2 |
antoine  |
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 |
12 Dec 2018 01:35:36
20150520_2 |
gerald  |
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
20150520_1 |
gerald  |
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
20150520 |
mat  |
Remove all USE_OPENSSL occurrences.
Sponsored by: Absolight |
01 Apr 2016 14:08:38
20150520 |
mat  |
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
With hat: portmgr
Sponsored by: Absolight |
10 Jan 2016 16:44:24
20150520 |
bapt  |
Convert categories m* and m* to USES=sqlite and USES=firebird |
16 Aug 2015 03:04:41
20150520 |
jbeich  |
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
20150214 |
rm  |
lang/urweb: update to 20150214
PR: 197660
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) |
14 Feb 2015 13:58:07
20140704 |
kwm  |
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
20140704  |
crees  |
Finally retire USE_PGSQL |
27 Oct 2014 15:23:31
20140704 |
bapt  |
Cleanup plist |
29 Jul 2014 19:11:53
20140704 |
adamw  |
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...
Approved by: portmgr (not really, but touches unstaged ports) |
08 Jul 2014 22:47:13
20140704 |
rakuco  |
Update to 20140704.
PR: 191579
Submitted by: beyert@cs.ucr.edu (maintainer) |
02 Jul 2014 16:21:52
20120925_2 |
danilo  |
- Fix pthread error when compiling files at runtime
PR: ports/191472
Submitted by: beyert@cs.ucr.edu (maintainer) |
01 Jul 2014 15:02:12
20120925_1 |
amdmi3  |
- Stagify
- Clarify LICENSE
- Add LICENSE_FILE
- Switch to USES=libtool, drop .la files
Approved by: portmgr blanket |
26 May 2014 14:47:57
20120925 |
miwi  |
- Convert gmake,bzip2 to USES
Approved by: portmgr |
20 Sep 2013 19:53:10
20120925 |
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
18 Feb 2013 18:23:39
20120925 |
rm  |
- 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
20120807 |
rm  |
- 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
20120512 |
rm  |
- correct pkg-descr entry that I forgout about |
03 Jun 2012 23:28:44
20120519 |
rm  |
- update to 20120519
PR: 168179
Submitted by: Timothy Beyer <beyert at cs.ucr dot edu> (maintainer) |
16 May 2012 22:11:56
20120512 |
pawel  |
Update to version 20120512
PR: port/167944
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) |
09 Apr 2012 11:54:04
20120329_1 |
scheidell  |
- 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
20120329 |
scheidell  |
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 |