| Port details |
- hope Hope is lazy interpreter for HOPE applicative language
- 1.1_1 lang
 =1      1.1_1Version of this port present on the latest quarterly branch.  BROKEN: unfetchable
 DEPRECATED: Broken for more than 6 months
 This port expired on: 2020-05-05
 IGNORE: is marked as broken: unfetchable
- Maintainer: lev@FreeBSD.org
- Port Added: 2001-10-17 15:21:24
- Last Update: 2020-05-05 15:38:12
- SVN Revision: 534093
- People watching this port, also watch:: python
- License: not specified in port
- WWW:
- http://www.soi.city.ac.uk/~ross/Hope/
- Description:
- HOPE is simple applicative (functional) language.
It was been used in "Functional Programming" book by Anthony J. Field and
Peter G. Harrison.
This port installs simple lazy interpreter of hope.
Author of this interpreter is Ross Paterson <ross@soi.city.ac.uk>.
WWW: http://www.soi.city.ac.uk/~ross/Hope/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
-
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: hope
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (hope.tar.gz) = c3be6e504dfafadcb31fd64d324aecc57f5868a7448cf74d3040abbd25d22b1b
SIZE (hope.tar.gz) = 173718
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- latex2html : textproc/latex2html
- tex.fmt : print/tex-formats
- gmake : devel/gmake
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for hope-1.1_1:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- N/A
- USES:
- gmake
- 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 |
|---|
1.1_1
05 May 2020 15:38:12
  |
rene |
Remove expired ports:
Adjusted for ports rescued since r534032
2020-05-05 audio/festvox-czech: Broken for more than 6 months
2020-05-05 audio/gkrellmvolume2: Broken for more than 6 months
2020-05-05 audio/mixmos: Broken for more than 6 months
2020-05-05 audio/mma: Broken for more than 6 months
2020-05-05 audio/pd-cyclone: Broken for more than 6 months
2020-05-05 audio/shorten: Broken for more than 6 months
2020-05-05 audio/taglib-sharp: Broken for more than 6 months
2020-05-05 audio/xhippo: Broken for more than 6 months
2020-05-05 biology/consed: Broken for more than 6 months
2020-05-05 biology/plinkseq: Broken for more than 6 months
2020-05-05 biology/seqtools: Broken for more than 6 months (Only the first 15 lines of the commit message are shown above  ) |
1.1_1
04 Apr 2020 20:51:41
 |
antoine |
Deprecate ports broken for more than 6 months |
1.1_1
06 Nov 2019 12:48:32
|
antoine |
Mark a few ports BROKEN, unfetchable |
1.1_1
19 May 2016 10:44:12
|
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket |
1.1_1
11 May 2016 20:22:08
|
bapt |
Prevent collision with getline(3) |
1.1_1
01 Apr 2016 14:08:38
|
mat |
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
With hat: portmgr
Sponsored by: Absolight |
1.1_1
26 Aug 2015 19:36:14
|
amdmi3 |
- Switch to options helpers
- Add missing docs to plist
- Use DATADIR and DOCSDIR in plist, sort
Approved by: portmgr blanket |
1.1
27 Oct 2014 15:23:31
|
bapt |
Cleanup plist |
1.1
18 May 2014 20:07:43
|
lev |
STAGEfy |
1.1
20 Sep 2013 19:53:10
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
1.1
11 May 2013 17:58:56
|
hrs |
Rectify USE_TEX to support both of teTeX and TeXLive.
TEX_DEFAULT:
A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf.
USE_TEX:
A knob for port developers. Valid keywords are listed in
bsd.tex.mk. |
1.1
06 May 2013 02:00:41
|
hrs |
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier. |
1.1
29 Jul 2012 11:17:04
|
cs |
Fix typos in COMMENT
Approved by: portmgr@ (implicit) |
1.1
03 Jul 2011 13:45:36
|
ohauer |
- remove MD5 |
1.1
18 Dec 2008 15:05:04
|
olgeni |
Fix a typo :) |
1.1
17 Dec 2008 15:48:44
|
pav |
- Unbreak, undeprecate
PR: ports/127449
Submitted by: Yi-Jheng Lin <yzlin@cs.nctu.edu.tw>
Approved by: maintainer timeout (lev; 3 months) |
1.1
19 Jun 2008 02:54:54
|
pav |
- This port has been BROKEN for more than 6 months. It will be removed unless
fixed in next two months.
With hat: portmgr |
1.1
18 Aug 2007 01:07:00
|
kris |
BROKEN: Patch fails |
1.1
18 Jul 2007 08:38:15
|
lev |
Source tarball was replaced by author.
Changes are: new makedepend.sh, some clean-ups in makefiles. |
1.0
22 Jan 2006 12:42:24
|
edwin |
SHA256ify
Approved by: krion@ |
1.0
10 Apr 2004 16:07:10
|
trevor |
Trim whitespace. |
1.0
22 Feb 2004 09:28:08
|
lev |
Author releases new version without changing file name.
DIFF review:
(1) Some script-generated files in documentation ommited.
(2) One bug in sources fixed.
(3) Makefile regenerated.
(4) Documentation cleaning targed fixed.
(5) bison-based parser regenerated with new bison version.
DIFF could be found at http://lev.serebryakov.spb.ru/download/hope.diff.bz2 |
0.0_2
21 Feb 2004 21:22:58
|
kris |
BROKEN: Checksum mismatch |
0.0_2
04 Feb 2004 05:21:48
|
marcus |
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2) |
0.0_1
08 Dec 2003 10:53:28
|
lev |
Fix building on 5-CURRENT
PR: ports/60018
Submitted by: FreeBSD-gnats-submit@freebsd.org |
0.0
17 Jun 2003 13:53:46
|
lev |
Change MAINTAINER field of my ports to lev@FReeBSD.org, my brand-new
committer's e-mail
Approved by: sobomax |
0.0
04 Jun 2003 22:43:38
|
kris |
Move inclusion of bsd.port.pre.mk later in the file for conditional BROKEN
tag. Early inclusion caused problems for some ports, so to be safe I'm
updating all of them.
Pointy hat to: kris |
0.0
18 May 2003 09:31:19
|
kris |
BROKEN on 5.1: does not install |
0.0
21 Feb 2003 12:35:09
|
knu |
De-pkg-comment. |
0.0
18 Dec 2002 23:38:24
|
naddy |
Fix building with GCC3. |
17 Oct 2001 19:21:24
    |
ijliao |
add hope Hope is lazy interpriter for HOPE applicative language |
As an Amazon Associate I earn from qualifying purchases.