Port details |
- dprog Language for specifying dynamic programming algorithms
- 0.3.1_2 devel
=0 0.3.1_2Version of this port present on the latest quarterly branch.
- BROKEN: unfetchable
DEPRECATED: Unfetchable, unmaintained This port expired on: 2019-10-16 IGNORE: is marked as broken: unfetchable
- 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
- Port Added: 2004-04-06 01:32:27
- Last Update: 2019-10-16 15:29:32
- SVN Revision: 514601
- License: not specified in port
- WWW:
- http://www.daimi.au.dk/~mailund/dprog/
- Description:
- 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/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: dprog
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (dprog-0.3.1.tar.gz) = 9f27836de2d54bf1bd2ee39ec97a50be838b507d9a8d7829d2c4da6f47f02f7f
SIZE (dprog-0.3.1.tar.gz) = 127542
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Library dependencies:
-
- libpopt.so : devel/popt
- There are no ports dependent upon this port
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
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
0.3.1_2 16 Oct 2019 15:29:32 |
rene |
Remove expired ports:
2019-10-16 archivers/freetar: Unfetchable, unmaintained
2019-10-16 archivers/hffzip: Unfetchable, unmaintained
2019-10-16 archivers/hpack.non-usa.only: Unfetchable, unmaintained
2019-10-16 archivers/untar: Unfetchable, unmaintained
2019-10-16 astro/gpsdrive: Unfetchable, unmaintained
2019-10-16 astro/planets: Unfetchable, unmaintained
2019-10-16 audio/ascd: Unfetchable, unmaintained
2019-10-16 audio/audiotag: Unfetchable, unmaintained
2019-10-16 audio/gmidimonitor: Unfetchable, unmaintained
2019-10-16 audio/gmpc-lyricwiki: Unfetchable, unmaintained
2019-10-16 audio/jack_mixer: Unfetchable, unmaintained
2019-10-16 audio/jmusic: Unfetchable, unmaintained
2019-10-16 audio/maplay: Unfetchable, unmaintained (Only the first 15 lines of the commit message are shown above ) |
0.3.1_2 15 Sep 2019 17:28:09 |
antoine |
Deprecate a few ports |
0.3.1_2 04 Aug 2019 09:19:03 |
antoine |
Mark BROKEN: unfetchable |
0.3.1_2 01 Apr 2016 14:00:57 |
mat |
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight |
0.3.1_2 27 Oct 2014 10:10:59 |
bapt |
Cleanup plist |
0.3.1_2 04 Sep 2014 19:26:24 |
antoine |
Change INSTALL_DATA to install with mode 644
Remove patches and hacks that were used to work around the previous
situation
This allows to stage more ports as a regular user
Differential Revision: https://reviews.freebsd.org/D703
Reviewed by and discussed with: bapt
With hat: portmgr |
0.3.1_2 29 Mar 2014 16:23:32 |
pawel |
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 |
0.3.1_2 27 Mar 2014 16:41:03 |
pawel |
- 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
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 1) |
0.3.1_2 12 Jun 2012 09:17:03 |
bapt |
Convert to new options framework |
0.3.1_2 24 Oct 2011 03:33:20 |
stas |
- 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). |
0.3.1_2 23 Sep 2011 22:26:39 |
amdmi3 |
- 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 |
0.3.1_2 03 Jul 2011 14:59:23 |
ohauer |
-remove MD5 |
0.3.1_2 06 Jun 2008 13:21:59 |
edwin |
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) |
0.3.1_1 27 Mar 2007 22:12:03 |
stas |
- Change my email.
Suggested by: skv |
0.3.1_1 21 Jul 2006 21:14:24 |
rafan |
- 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> |
0.3.1 24 Nov 2005 15:40:04 |
pav |
- Add some SHA256 checksums |
0.3.1 12 Apr 2004 03:25:50 |
ijliao |
fix build on -stable
Noticed by: bento via kris |
0.3.1 06 Apr 2004 01:31:21 |
ijliao |
add dprog 0.3.1
A language for specifying dynamic programming algorithms |