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

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_add -r 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: 21

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
11 May 2013 17:58:56
Original commit files touched by this commit  1.1
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
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: 21

2828
Login
User Login
Create account

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
plibMay 19
plibMay 19
linux-f10-flashplugin10May 16
linux-f10-flashplugin11May 16
nginx*May 16
nginx-devel*May 16
firefoxMay 15
firefox-develMay 15
firefox-esrMay 15
firefox10May 15
firefox15May 15
firefox3May 15
firefox3-develMay 15
firefox35May 15
firefox36May 15

5 vulnerabilities affecting 20 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 24523
Broken 217
Deprecated 473
Ignore 636
Forbidden 3
Restricted 292
No CDROM 109
Vulnerable 27
Expired 132
Set to expire 511
Interactive 33
new 24 hours 4
new 48 hours11
new 7 days25
new fortnight58
new month209

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

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2013 DVL Software Limited. All rights reserved.
0