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

We also have a status page: https://freshports.wordpress.com/

Port details
hope Hope is lazy interpreter for HOPE applicative language
1.1_1 lang on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 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 : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (91 items)
  1. bin/hope
  2. man/man1/hope.1.gz
  3. share/hope/lib.new/Standard.hop
  4. share/hope/lib/Standard.hop
  5. share/hope/lib/arith.hop
  6. share/hope/lib/case.hop
  7. share/hope/lib/ctype.hop
  8. share/hope/lib/diag.hop
  9. share/hope/lib/fold.hop
  10. share/hope/lib/functions.hop
  11. share/hope/lib/lines.hop
  12. share/hope/lib/list.hop
  13. share/hope/lib/lists.hop
  14. share/hope/lib/maybe.hop
  15. share/hope/lib/products.hop
  16. share/hope/lib/range.hop
  17. share/hope/lib/seq.hop
  18. share/hope/lib/set.hop
  19. share/hope/lib/sort.hop
  20. share/hope/lib/sums.hop
  21. share/hope/lib/tree.hop
  22. share/hope/lib/void.hop
  23. share/hope/lib/words.hop
  24. share/hope/lib/y.hop
  25. share/doc/hope/examples.dvi.gz
  26. share/doc/hope/examples.ps.gz
  27. share/doc/hope/examples/examples.css
  28. share/doc/hope/examples/examples.html
  29. share/doc/hope/examples/index.html
  30. share/doc/hope/examples/labels.pl
  31. share/doc/hope/examples/node1.html
  32. share/doc/hope/examples/node2.html
  33. share/doc/hope/examples/node3.html
  34. share/doc/hope/examples/node4.html
  35. share/doc/hope/hope_tut.dvi.gz
  36. share/doc/hope/hope_tut.ps.gz
  37. share/doc/hope/hope_tut/WARNINGS
  38. share/doc/hope/hope_tut/hope_tut.css
  39. share/doc/hope/hope_tut/hope_tut.html
  40. share/doc/hope/hope_tut/index.html
  41. share/doc/hope/hope_tut/labels.pl
  42. share/doc/hope/hope_tut/node1.html
  43. share/doc/hope/hope_tut/node10.html
  44. share/doc/hope/hope_tut/node11.html
  45. share/doc/hope/hope_tut/node12.html
  46. share/doc/hope/hope_tut/node13.html
  47. share/doc/hope/hope_tut/node14.html
  48. share/doc/hope/hope_tut/node15.html
  49. share/doc/hope/hope_tut/node16.html
  50. share/doc/hope/hope_tut/node17.html
  51. share/doc/hope/hope_tut/node18.html
  52. share/doc/hope/hope_tut/node19.html
  53. share/doc/hope/hope_tut/node2.html
  54. share/doc/hope/hope_tut/node20.html
  55. share/doc/hope/hope_tut/node21.html
  56. share/doc/hope/hope_tut/node22.html
  57. share/doc/hope/hope_tut/node23.html
  58. share/doc/hope/hope_tut/node24.html
  59. share/doc/hope/hope_tut/node25.html
  60. share/doc/hope/hope_tut/node3.html
  61. share/doc/hope/hope_tut/node4.html
  62. share/doc/hope/hope_tut/node5.html
  63. share/doc/hope/hope_tut/node6.html
  64. share/doc/hope/hope_tut/node7.html
  65. share/doc/hope/hope_tut/node8.html
  66. share/doc/hope/hope_tut/node9.html
  67. share/doc/hope/ref_man.dvi.gz
  68. share/doc/hope/ref_man.ps.gz
  69. share/doc/hope/ref_man/WARNINGS
  70. share/doc/hope/ref_man/index.html
  71. share/doc/hope/ref_man/internals.pl
  72. share/doc/hope/ref_man/labels.pl
  73. share/doc/hope/ref_man/node1.html
  74. share/doc/hope/ref_man/node10.html
  75. share/doc/hope/ref_man/node11.html
  76. share/doc/hope/ref_man/node12.html
  77. share/doc/hope/ref_man/node13.html
  78. share/doc/hope/ref_man/node14.html
  79. share/doc/hope/ref_man/node15.html
  80. share/doc/hope/ref_man/node16.html
  81. share/doc/hope/ref_man/node17.html
  82. share/doc/hope/ref_man/node2.html
  83. share/doc/hope/ref_man/node3.html
  84. share/doc/hope/ref_man/node4.html
  85. share/doc/hope/ref_man/node5.html
  86. share/doc/hope/ref_man/node6.html
  87. share/doc/hope/ref_man/node7.html
  88. share/doc/hope/ref_man/node8.html
  89. share/doc/hope/ref_man/node9.html
  90. share/doc/hope/ref_man/ref_man.css
  91. share/doc/hope/ref_man/ref_man.html
  92. Collapse this list.

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

PKGNAME: hope

distinfo:

SHA256 (hope.tar.gz) = c3be6e504dfafadcb31fd64d324aecc57f5868a7448cf74d3040abbd25d22b1b
SIZE (hope.tar.gz) = 173718


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

Build dependencies:
  1. latex2html : textproc/latex2html
  2. tex.fmt : print/tex-formats
  3. 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

USES:
gmake

Master Sites:
  1. http://www.soi.city.ac.uk/~ross/Hope/

Number of commits found: 28

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
19 May 2016 10:44:12
Original commit files touched by this commit  1.1_1
Revision:415499
amdmi3 search for other commits by this committer
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
11 May 2016 20:22:08
Original commit files touched by this commit  1.1_1
Revision:415027
bapt search for other commits by this committer
Prevent collision with getline(3)
01 Apr 2016 14:08:38
Original commit files touched by this commit  1.1_1
Revision:412347
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
26 Aug 2015 19:36:14
Original commit files touched by this commit  1.1_1
Revision:395394
amdmi3 search for other commits by this committer
- Switch to options helpers
- Add missing docs to plist
- Use DATADIR and DOCSDIR in plist, sort

Approved by:	portmgr blanket
27 Oct 2014 15:23:31
Original commit files touched by this commit  1.1
Revision:371587
bapt search for other commits by this committer
Cleanup plist
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
Original commit 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: 28

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

No vulnerabilities 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 31872
Broken 126
Deprecated 55
Ignore 364
Forbidden 0
Restricted 175
No CDROM 78
Vulnerable 51
Expired 11
Set to expire 47
Interactive 0
new 24 hours 8
new 48 hours13
new 7 days3216
new fortnight3397
new month3451

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