Port details |
- deputy Advanced C compiler that enforces type and memory safety
- 1.1_1 devel
=0 1.1_1Version of this port present on the latest quarterly branch. - Maintainer: kevlo@FreeBSD.org
 - Port Added: 2007-03-19 03:34:11
- Last Update: 2013-09-13 02:44:46
- SVN Revision: 327129
- Also Listed In: lang
- License: not specified in port
- Description:
- Deputy is a C compiler that is capable of preventing common C programming
errors, including out-of-bounds memory accesses as well as many other
common type-safety errors.
Deputy allows C programmers to provide simple type annotations that
describe pointer bounds and other important program invariants.
Deputy verifies that your program adheres to these invariants through a
combination of compile-time and run-time checking.
WWW: http://deputy.cs.berkeley.edu/
- SVNWeb :
git : Homepage
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: deputy
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: i386 amd64
- distinfo:
- There is no distinfo for this port.
- No package information for this port in our database
- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ocamlopt : lang/ocaml
- gmake : devel/gmake
- perl5.14.4 : lang/perl5.14
- Runtime dependencies:
-
- perl5.14.4 : lang/perl5.14
- There are no ports dependent upon this port
- Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Port Moves |
- port deleted on 2013-09-13
REASON: Obsolete
|
Number of commits found: 8
Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
13 Sep 2013 02:44:46
1.1_1
|
kevlo  |
Remove unmaintained devel/deputy. |
08 Sep 2013 13:59:48
1.1_1
|
az  |
- convert to the new perl5 framework
- trim Makefile header
Approved by: portmgr (bapt@, blanket) |
03 Jul 2011 14:59:23
1.1_1
|
ohauer  |
-remove MD5 |
11 Apr 2011 19:54:35
1.1_1
|
ade  |
Update to GNU make 3.82 after numerous -exp runs. |
11 Apr 2009 13:23:05
1.1_1
|
stas  |
- Update lang/ocaml to 3.11.0. [1]
- Fix devel/cil build with 3.11.0 by using proper object file name
- Fix devel/deputy build with 3.11.0 by using proper object file name
- Fix lang/mtasc. Ocamlp4 syntax has changed and usage of ';' as delimiters
is not allowed now.
- Fix usage message in lang/mtasc.
- Implement a FreeBSD specific code for retriving the executable path in
lang/mtasc.
- Update devel/omake to 0.9.8.5.
- Fix devel/omake compilation with 3.11 by dropping an unused reference from the
code.
- Fix www/geneweb build with 3.11 by not emitting errors for warnings.
- Fix print/advi build. [2]
- Update lang/cduce to 0.5.3 (this fixes build with ocaml 3.11.0).
PR: ports/130845 [1] [2] (based on)
Submitted by: Hirohisa Yamaguchi <umq@ueo.co.jp> [1],
Tsurutani Naoki <turutani@scphys.kyoto-u.ac.jp> [2] |
08 Sep 2007 00:56:04
1.1_1
|
linimon  |
Welcome bsd.perl.mk. Add support for constructs such as USE_PERL5=5.8.0+.
Drop support for antique perl.
Work done by: gabor
Sponsored by: Google Summer of Code 2007
Hat: portmgr |
19 May 2007 20:32:57
1.1_1
|
flz  |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
19 Mar 2007 03:33:27
1.1
|
kevlo  |
Initial import of deputy 1.1
Deputy is a C compiler that is capable of preventing common C programming
errors, including out-of-bounds memory accesses as well as many other
common type-safety errors. |
Number of commits found: 8
|