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 information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. textproc/latex2html
  2. print/teTeX-texmf
  3. print/teTeX-base
  4. 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
===> The following configuration options are available for hope-1.1:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

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

Number of commits found: 23

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
18 May 2014 20:07:43
Original commit files touched by this commit  1.1
Revision:354465
lev search for other commits by this committer
 STAGEfy
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: 23

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
libpurpleOct 24
pidginOct 24
phpmyadminOct 22
asterisk11Oct 21
libxml2Oct 18
drupal7Oct 16
firefox*Oct 16
firefox-esr*Oct 16
libxul*Oct 16
linux-firefox*Oct 16
linux-seamonkey*Oct 16
linux-thunderbird*Oct 16
seamonkey*Oct 16
thunderbird*Oct 16
linux-c6-opensslOct 15

7 vulnerabilities affecting 29 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 24268
Broken 99
Deprecated 31
Ignore 356
Forbidden 2
Restricted 205
No CDROM 93
Vulnerable 18
Expired 0
Set to expire 27
Interactive 0
new 24 hours 2
new 48 hours5
new 7 days22
new fortnight41
new month174

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