Port details |
- urweb Ultimate host for embedded domain-specific languages
- 20200209_3 lang
=2 20200209_2Version of this port present on the latest quarterly branch. - Maintainer: beyert@cs.ucr.edu
 - Port Added: 2012-04-06 14:37:03
- Last Update: 2025-02-14 23:12:32
- Commit Hash: ff33dd4
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- Also Listed In: www
- License: BSD3CLAUSE
- WWW:
- http://www.impredicative.com/ur/
- 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
¦ ¦ ¦ ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/urweb/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/urweb
- pkg install urweb
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: urweb
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: amd64 i386
- distinfo:
- TIMESTAMP = 1679330544
SHA256 (urweb-urweb-20200209_GH0.tar.gz) = 56062e4b2485c73e2b912e6c7631ce47e885774dd0ac4e9acbb21594165fac01
SIZE (urweb-urweb-20200209_GH0.tar.gz) = 804989
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- mlton : lang/mlton
- gmake>=4.4.1 : devel/gmake
- postgres : databases/postgresql16-server
- autoconf>=2.72 : devel/autoconf
- automake>=1.17 : devel/automake
- libtoolize : devel/libtool
- Runtime dependencies:
-
- postgres : databases/postgresql16-server
- Library dependencies:
-
- libgmp.so : math/gmp
- libicudata.so : devel/icu
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for urweb-20200209_3:
ELISP=on: Install contributed Emacs Lisp
PGSQL=on: PostgreSQL database support
SQLITE=off: SQLite database support
===> Use 'make config' to modify these settings
- Options name:
- lang_urweb
- USES:
- autoreconf gmake libtool ssl tar:tgz pgsql
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
20200209_3 14 Feb 2025 23:12:32
    |
Daniel Engberg (diizzy)  |
*/*: Bump consumers of devel/icu
...to avoid library mismatches |
20200209_2 31 Dec 2023 03:54:27
    |
Muhammad Moinur Rahman (bofh)  |
lang/urweb: Remove non default option MYSQL
- When enabled with MYSQL option this port is BROKEN on all available
versions of mysql in the tree.
Approved by: portmgr (blanket) |
20200209_2 29 Dec 2023 18:24:39
    |
Muhammad Moinur Rahman (bofh)  |
*/*: Refactor with IGNORE_WITH_MYSQL
- There are multiple ports which has MYSQL options and are non-DEFAULT.
Most of the time committers actually forget to check with the OPTION
enabled and in some cases they are BROKEN with newr versions of mysql.
So test with different versions of mysql and mark IGNOPRE_WITH_MYSQL
appropriately. Due to the EOL of 5.7 this has not been checked.
- Unbreak sysutils/cfengine* with MySQL 8.0 and later
- The primary purpose of running this check is having statistics of the
MySQL usability over MariaDB to explore the future possibility of
shifting to MariaDB as the default as major ports upstream have moved
their codebase to support MariaDB over MySQL.
- The following actions will also be taken after the sunset of MySQL 5.7
If a port is broken on all instances of MySQL/MariaDB:
- If a port has the option of multiple DB backends and MySQL is the
default then the DEFAULT will be changed to PGSQL/SQLITE before
2024Q1. And the OPTION will be removed before 2024Q2. If a
MAINTAINER is aware about such cases and want to prefer PGSQL over
SQLITE or vice versa please do so at your own accord. Otherwise
PGSQL will be preferred over SQLITE.
- If a port has the option of multiple DB backends and MySQL is not
the default then the the OPTION will be removed before 2024Q1.
Approved by: portmgr (blanket) |
20200209_2 17 Nov 2023 11:46:00
    |
Jan Beich (jbeich)  |
devel/icu: update to 74.1
Changes: https://github.com/unicode-org/icu/releases/tag/release-74-1
Reported by: GitHub (watch releases)
PR: 274317
Exp-run by: antoine (incomplete)
Approved by: fluffy |
20200209_1 13 Apr 2023 00:56:37
    |
Jan Beich (jbeich)  |
devel/icu: update to 73.1
- Temporarily switch to GitHub auto archive (release artifacts are N/A atm)
Changes: https://github.com/unicode-org/icu/releases/tag/release-73-1
Reported by: GitHub (watch releases)
PR: 270422
Exp-run by: antoine |
20200209 21 Mar 2023 06:19:54
    |
Muhammad Moinur Rahman (bofh)  Author: Timothy Beyer |
lang/urweb: Update version 20150520=>20200209
- Unbreak port for modern FreeBSD versions, such as FreeBSD 12 and 13,
and likely 14
- Update LIB_DEPENDS with new dependencies
- Pet portlint
- While I(bofh) am here pet portclippy/portfmt
- Utilize OPTIONSNG
PR: 262082 |
20150520_3 20 Feb 2023 15:55:52
    |
Antoine Brodin (antoine)  |
lang/urweb: deprecate |
07 Sep 2022 21:58:51
    |
Stefan Eßer (se)  |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
20150520_3 07 Sep 2022 21:10:59
    |
Stefan Eßer (se)  |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
20150520_3 20 Jul 2022 14:22:15
    |
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 ) |
20150520_3 06 Apr 2021 14:31:07
    |
Mathieu Arnold (mat)  |
Remove # $FreeBSD$ from Makefiles. |
20150520_3 08 Oct 2020 18:03:44
  |
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 |
20150520_3 15 Nov 2019 10:12:08
  |
tobik  |
Move remaining USE_MYSQL, WANT_MYSQL_VER to USES=mysql |
20150520_3 26 Jul 2019 20:46:57
  |
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 |
20150520_2 22 Apr 2019 16:03:30
  |
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 |
20150520_2 12 Dec 2018 01:35:36
  |
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 |
20150520_1 10 Mar 2018 17:46:06
  |
gerald  |
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079). |
20150520 15 Mar 2017 14:45:31
  |
mat  |
Remove all USE_OPENSSL occurrences.
Sponsored by: Absolight |
20150520 01 Apr 2016 14:08:38
  |
mat  |
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
With hat: portmgr
Sponsored by: Absolight |
20150520 10 Jan 2016 16:44:24
  |
bapt  |
Convert categories m* and m* to USES=sqlite and USES=firebird |
20150520 16 Aug 2015 03:04:41
  |
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) |
20150214 22 Feb 2015 22:03:46
  |
rm  |
lang/urweb: update to 20150214
PR: 197660
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) |
20140704 14 Feb 2015 13:58:07
  |
kwm  |
Fix the build with clang 3.5 by using the suggested function.
PR: 196124
Submitted by: dim@
Approved by: maintainer |
20140704 22 Nov 2014 20:40:09
  |
crees  |
Finally retire USE_PGSQL |
20140704 27 Oct 2014 15:23:31
  |
bapt  |
Cleanup plist |
20140704 29 Jul 2014 19:11:53
  |
adamw  |
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...
Approved by: portmgr (not really, but touches unstaged ports) |
20140704 08 Jul 2014 22:47:13
  |
rakuco  |
Update to 20140704.
PR: 191579
Submitted by: beyert@cs.ucr.edu (maintainer) |
20120925_2 02 Jul 2014 16:21:52
  |
danilo  |
- Fix pthread error when compiling files at runtime
PR: ports/191472
Submitted by: beyert@cs.ucr.edu (maintainer) |
20120925_1 01 Jul 2014 15:02:12
  |
amdmi3  |
- Stagify
- Clarify LICENSE
- Add LICENSE_FILE
- Switch to USES=libtool, drop .la files
Approved by: portmgr blanket |
20120925 26 May 2014 14:47:57
  |
miwi  |
- Convert gmake,bzip2 to USES
Approved by: portmgr |
20120925 20 Sep 2013 19:53:10
  |
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
20120925 18 Feb 2013 18:23:39
  |
rm  |
- update to 20120925
- trim Makefile header, while here
PR: 176206
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) |
20120807 11 Aug 2012 05:42:47
 |
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) |
20120512 03 Jun 2012 23:30:16
 |
rm  |
- correct pkg-descr entry that I forgout about |
20120519 03 Jun 2012 23:28:44
 |
rm  |
- update to 20120519
PR: 168179
Submitted by: Timothy Beyer <beyert at cs.ucr dot edu> (maintainer) |
20120512 16 May 2012 22:11:56
 |
pawel  |
Update to version 20120512
PR: port/167944
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) |
20120329_1 09 Apr 2012 11:54:04
 |
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 |
20120329 06 Apr 2012 14:36:30
 |
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 |