I'm pakaging this for Debian, since I need it for other package (sampler, still in early stages, not even ITP'd). Among other problems, there is one with name: most natural name should be "cil", but it is already booked in Debian.
For those willing to comment, I have an early version of the package in http://people.debian.org/~jgb/soft/debian/ The ITP information: -------------------------------- Package: wnpp Severity: wishlist * Package name : cinterlang Version : 1.2.5 Upstream Author : George C. Necula <[EMAIL PROTECTED]>, Scott McPeak <[EMAIL PROTECTED]>, Wes Weimer <[EMAIL PROTECTED]>, Ben Liblit <[EMAIL PROTECTED]> * URL : http://manju.cs.berkeley.edu/cil/ * License : BSD-like Description : C program analysis and transformation (C Intermediate Language, CIL) CIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. It is written in OCaml. . CIL is both lower-level than abstract-syntax trees, by clarifying ambiguous constructs and removing redundant ones, and also higher-level than typical intermediate languages designed for compilation, by maintaining types and a close relationship with the source program. The main advantage of CIL is that it compiles all valid C programs into a few core constructs with a very clean semantics. Also CIL has a syntax-directed type system that makes it easy to analyze and manipulate C programs. Furthermore, the CIL front-end is able to process not only ANSI-C programs but also those using Microsoft C or GNU C extensions. ---------------------- Saludos, Jesus. -- Contribute to keep Europe free of software patents! EuropeSwPatentFree - http://EuropeSwPatentFree.hispalinux.es ----- Jesus M. Gonzalez Barahona | Grupo de Sistemas y Comunicaciones [EMAIL PROTECTED] / [EMAIL PROTECTED] | ESCET, Universidad Rey Juan Carlos tel: +34 91 664 74 67 | c/ Tulipan s/n fax: +34 91 488 70 49 | 28933 Mostoles, Spain -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
