FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
hope 1.1 lang on this many watch lists=1 search for ports that depend on this port
Hope is lazy interpreter for HOPE applicative language
Maintained by: lev@FreeBSD.org search for ports maintained by this maintainer
Port Added: 17 Oct 2001 15:21:24
License: not specified in port


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/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. devel/gmake
There are no ports dependent upon this port

To install the port: cd /usr/ports/lang/hope/ && make install clean
To add the package: pkg install lang/hope


Configuration Options
     No options to configure

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.soi.city.ac.uk/~ross/Hope/

Number of commits found: 22

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
20 Sep 2013 19:53:10
Original commit files touched by this commit  1.1
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
11 May 2013 17:58:56
Original commit files touched by this commit  1.1
Revision:317899
hrs search for other commits by this committer
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.
06 May 2013 02:00:41
Original commit files touched by this commit  1.1
Revision:317455
hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
29 Jul 2012 11:17:04
Original commit files touched by this commit  1.1
cs search for other commits by this committer
Fix typos in COMMENT

Approved by:	portmgr@ (implicit)
03 Jul 2011 13:45:36
Original commit files touched by this commit  1.1
ohauer search for other commits by this committer
- remove MD5
18 Dec 2008 15:05:04
Original commit files touched by this commit  1.1
olgeni search for other commits by this committer
Fix a typo :)
17 Dec 2008 15:48:44
Original commit files touched by this commit  1.1
pav search for other commits by this committer
- Unbreak, undeprecate

PR:             ports/127449
Submitted by:   Yi-Jheng Lin <yzlin@cs.nctu.edu.tw>
Approved by:    maintainer timeout (lev; 3 months)
19 Jun 2008 02:54:54
Original commit files touched by this commit  1.1
pav search for other commits by this committer
- This port has been BROKEN for more than 6 months.  It will be removed unless
  fixed in next two months.

With hat:       portmgr
18 Aug 2007 01:07:00
Original commit files touched by this commit  1.1
kris search for other commits by this committer
BROKEN: Patch fails
18 Jul 2007 08:38:15
Original commit files touched by this commit  1.1
lev search for other commits by this committer
  Source tarball was replaced by author.
  Changes are: new makedepend.sh, some clean-ups in makefiles.
22 Jan 2006 12:42:24
Original commit files touched by this commit  1.0
edwin search for other commits by this committer
SHA256ify

Approved by: krion@
10 Apr 2004 16:07:10
Original commit files touched by this commit  1.0
trevor search for other commits by this committer
Trim whitespace.
22 Feb 2004 09:28:08
Original commit files touched by this commit  1.0
lev search for other commits by this committer
   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
21 Feb 2004 21:22:58
Original commit files touched by this commit  0.0_2
kris search for other commits by this committer
BROKEN: Checksum mismatch
04 Feb 2004 05:21:48
Original commit files touched by this commit  0.0_2
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
08 Dec 2003 10:53:28
Original commit files touched by this commit  0.0_1
lev search for other commits by this committer
  Fix building on 5-CURRENT

PR:             ports/60018
Submitted by:   FreeBSD-gnats-submit@freebsd.org
17 Jun 2003 13:53:46
Original commit files touched by this commit  0.0
lev search for other commits by this committer
Change MAINTAINER field of my ports to lev@FReeBSD.org, my brand-new
committer's e-mail

Approved by:    sobomax
04 Jun 2003 22:43:38
Original commit files touched by this commit  0.0
kris search for other commits by this committer
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
18 May 2003 09:31:19
Original commit files touched by this commit  0.0
kris search for other commits by this committer
BROKEN on 5.1: does not install
21 Feb 2003 12:35:09
Original commit files touched by this commit  0.0
knu search for other commits by this committer
De-pkg-comment.
18 Dec 2002 23:38:24
Original commit files touched by this commit  0.0
naddy search for other commits by this committer
Fix building with GCC3.
17 Oct 2001 19:21:24
files touched by this commit
ijliao search for other commits by this committer
add hope   Hope is lazy interpriter for HOPE applicative language    

Number of commits found: 22

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
curlApr 11
dbus-glibApr 11
libaudiofileApr 11
linux-f10-curlApr 11
linux-f10-dbus-glibApr 11
linux-f10-libaudiofileApr 11
linux-f10-nas-libsApr 11
linux-f10-openldapApr 11
mingw32-openssl*Apr 11
mingw32-opensslApr 11
nasApr 11
openssl*Apr 11
opensslApr 11
linux-f10-openssl*Apr 10
linux-f10-openssl*Apr 10

13 vulnerabilities affecting 34 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24391
Broken 175
Deprecated 120
Ignore 527
Forbidden 4
Restricted 266
No CDROM 108
Vulnerable 27
Expired 8
Set to expire 105
Interactive 22
new 24 hours 2
new 48 hours4
new 7 days16
new fortnight39
new month150

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.