| 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
- WWW:
- http://deputy.cs.berkeley.edu/
- 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/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- 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. 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.
- 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:
|
Number of commits found: 8
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
1.1_1
13 Sep 2013 02:44:46
  |
kevlo |
Remove unmaintained devel/deputy. |
1.1_1
08 Sep 2013 13:59:48
|
az |
- convert to the new perl5 framework
- trim Makefile header
Approved by: portmgr (bapt@, blanket) |
1.1_1
03 Jul 2011 14:59:23
|
ohauer |
-remove MD5 |
1.1_1
11 Apr 2011 19:54:35
|
ade |
Update to GNU make 3.82 after numerous -exp runs. |
1.1_1
11 Apr 2009 13:23:05
|
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] |
1.1_1
08 Sep 2007 00:56:04
|
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 |
1.1_1
19 May 2007 20:32:57
|
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
1.1
19 Mar 2007 03:33:27
|
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
|
As an Amazon Associate I earn from qualifying purchases.