deputy Advanced C compiler that enforces type and memory safety
1.1_1 devel =0

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 03:44:46
SVN Revision: 327129
Also Listed In: lang
License: not specified in port

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 : Homepage

There is no configure plist information for this port.

Dependency lines:

• deputy>0:devel/deputy

---

No installation instructions: this port has been deleted.

The package name of this deleted port was: deputy

PKGNAME: deputy

There is no flavor information for this port.

ONLY_FOR_ARCHS: i386 amd64

distinfo: There is no distinfo for this port.

---

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

Build dependencies:

1. ocamlopt : lang/ocaml
2. gmake : devel/gmake
3. perl5.14.4 : lang/perl5.14

Runtime dependencies:

1. perl5.14.4 : lang/perl5.14

There are no ports dependent upon this port

---

Configuration Options

     No options to configure

---

Master Sites:

1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
2. http://deputy.cs.berkeley.edu/

• port deleted on 2013-09-13
  REASON: Obsolete
  

Remove unmaintained devel/deputy.

- convert to the new perl5 framework
- trim Makefile header

Approved by:	portmgr (bapt@, blanket)

-remove MD5

Update to GNU make 3.82 after numerous -exp runs.

- 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]

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

- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

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.

12 vulnerabilities affecting 218 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2019-07-22 15:34:19