deputy 1.1_1 devel =0

Advanced C compiler that enforces type and memory safety
Maintained by: kevlo@FreeBSD.org
Port Added: 19 Mar 2007 03:34:11
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/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: lang/ocaml, devel/gmake, lang/perl5.8
Required To Run: lang/perl5.8
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/devel/deputy/ && make install clean
To add the package: pkg_add -r deputy

---

Configuration Options

     No options to configure

---

Master Sites:

http://deputy.cs.berkeley.edu/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

-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 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities