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
dprog 0.3.1_2 devel on this many watch lists=0 search for ports that depend on this port
Language for specifying dynamic programming algorithms

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 06 Apr 2004 01:32:27
License: not specified in port


Dynamic programming is a simple yet powerful technique for solving optimisation
problems. When the problem at hand can be split in smaller problems, such that
the smaller solutions of an optimal solution are themselves optimal, dynamic
programming can be used to avoid re-calculating solutions to shared sub-
problems.

Simple problems are both easily specified and easily implemented, but for
complex problems translating the specification of the problem into the
implementation of the dynamic programming algorithm becomes tedious and error
prone. The goal of DPROG is to alleviate this by automatically translating the
specification of the problem into an implementation of the solution.

The DPROG language is designed to be close to the ``mathematical'' notation
used for expressing recurrences, thus making it easier to specify the problem.
Using the DPROG compiler, the manual implementation step can be completely
avoided.

WWW: http://www.daimi.au.dk/~mailund/dprog/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

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

Required Libraries:
  1. devel/popt
There are no ports dependent upon this port

To install the port: cd /usr/ports/devel/dprog/ && make install clean
To add the package: pkg install devel/dprog


Configuration Options
===> The following configuration options are available for dprog-0.3.1_2:
     EMACS=on: Emacs syntax files
===> Use 'make config' to modify these settings

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.daimi.au.dk/~mailund/dprog/download/

Number of commits found: 13

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
29 Mar 2014 16:23:32
Original commit files touched by this commit  0.3.1_2
Revision:349558
pawel search for other commits by this committer
Fix rare build failure with multiple make jobs - make sure that main
library is build before test programs which try link to it.

Noticed by:	swills
27 Mar 2014 16:41:03
Original commit files touched by this commit  0.3.1_2
Revision:349345
pawel search for other commits by this committer
- Add staging support
- Remove leading article from COMMENT
- Convert to new LIB_DEPENDS format
- Remove Install prefix from option description
- Run ranlib on library prior to installing it, this allows
  non-root staging solving write permission error
20 Sep 2013 17:03:27
Refresh Original commit files touched by this commit
Revision:327722  Sanity Test Failure
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 1)
12 Jun 2012 09:17:03
Original commit files touched by this commit  0.3.1_2
bapt search for other commits by this committer
Convert to new options framework
24 Oct 2011 03:33:20
Original commit files touched by this commit  0.3.1_2
stas search for other commits by this committer
- Return my ports back to the pool.  I was unable to make any fixes to
  my ports in the past 3 weeks while ports were broken on any 10.x
  machines, which means I'm unable to maintain them.  So let people know
  that there's no available support for them until things are back to
  normal (which also means that anyone with spare time will be able
  to fix them without getting approval).
23 Sep 2011 22:26:39
Original commit files touched by this commit  0.3.1_2
amdmi3 search for other commits by this committer
- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead

PR:             157936
Submitted by:   myself
Exp-runs by:    pav
Approved by:    pav
03 Jul 2011 14:59:23
Original commit files touched by this commit  0.3.1_2
ohauer search for other commits by this committer
-remove MD5
06 Jun 2008 13:21:59
Original commit files touched by this commit  0.3.1_2
edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
27 Mar 2007 22:12:03
Original commit files touched by this commit  0.3.1_1
stas search for other commits by this committer
- Change my email.

Suggested by:   skv
21 Jul 2006 21:14:24
Original commit files touched by this commit  0.3.1_1
rafan search for other commits by this committer
- Install EMACS files, can be turned off via OPTIONS
- Pass maintainership to submitter

PR:             ports/100686
Submitted by:   Stanislav Sedov <ssedov at mbsd.msk.ru>
24 Nov 2005 15:40:04
Original commit files touched by this commit  0.3.1
pav search for other commits by this committer
- Add some SHA256 checksums
12 Apr 2004 03:25:50
Original commit files touched by this commit  0.3.1
ijliao search for other commits by this committer
fix build on -stable

Noticed by:     bento via kris
06 Apr 2004 01:31:21
Original commit files touched by this commit  0.3.1
ijliao search for other commits by this committer
add dprog 0.3.1
A language for specifying dynamic programming algorithms

Number of commits found: 13

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
mingw32-opensslApr 23
opensslApr 23
py-djangoApr 23
py-django-develApr 23
py-django14Apr 23
py-django15Apr 23
bugzilla40*Apr 18
bugzilla40*Apr 18
bugzilla42*Apr 18
bugzilla42*Apr 18
bugzilla44*Apr 18
bugzilla44*Apr 18
curlApr 11
dbus-glibApr 11
libaudiofileApr 11

14 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 24371
Broken 178
Deprecated 91
Ignore 533
Forbidden 6
Restricted 263
No CDROM 108
Vulnerable 29
Expired 22
Set to expire 78
Interactive 22
new 24 hours 3
new 48 hours6
new 7 days17
new fortnight32
new month137

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