From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15398; Thu, 22 Aug 2002 16:58:14 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA15498 for ; Thu, 22 Aug 2002 16:58:13 +0200 (MET DST) Received: from gromit.it.su.se (gromit.it.su.se [130.237.95.77]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7MEwCr28021 for ; Thu, 22 Aug 2002 16:58:12 +0200 (MET DST) Received: from gromit.it.su.se (localhost [127.0.0.1]) by gromit.it.su.se (8.12.5/8.12.5) with ESMTP id g7MEw1sJ008672; Thu, 22 Aug 2002 16:58:01 +0200 (CEST) (envelope-from rnyberg@gromit.it.su.se) Received: (from rnyberg@localhost) by gromit.it.su.se (8.12.5/8.12.5/Submit) id g7MEw0xG008671; Thu, 22 Aug 2002 16:58:00 +0200 (CEST) Date: Thu, 22 Aug 2002 16:58:00 +0200 From: Richard Nyberg To: George Necula Cc: "'caml-list@inria.fr'" Subject: Re: [Caml-list] Announcing CIL: Infrastructure and tools for C program analysis a nd transformations Message-ID: <20020822145800.GH1899@gromit.it.su.se> Mail-Followup-To: Richard Nyberg , George Necula , "'caml-list@inria.fr'" References: <4E06A937DADC3842ACE4D3A1096A9EAC567D63@JANUS.eecs.berkeley.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4E06A937DADC3842ACE4D3A1096A9EAC567D63@JANUS.eecs.berkeley.edu> User-Agent: Mutt/1.4i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Aug 20, 2002 at 12:43:55PM -0700, George Necula wrote: > > We have released a stable version of CIL. It consists of a complete C > parser (both for ANSI C and also the GCC and Microsoft Visual C extensions), > pretty-printer and an intermediate language that hides most of the dark > corners of the C language. This allows you for example to implement a > Stackguard instrumentation for your programs in about 80 lines of code and > apply it to ugly code such as the Linux kernel modules. CIL can impersonate > both the GCC and MSVC compilers allowing you to use your existing Makefiles > and can also merge your entire program into one source file for a quick > whole-program analysis. > > CIL has been tested on many millions of lines of code, including the Linux > kernel and GIMP. > > More information, a manual, ocamldoc API documentation and the distribution > can be found at http://www.cs.berkeley.edu/~necula/cil. > > George. Nice :) For those like me who'd like to try it on FreeBSD I've made some patches. The configure script could really be better on supporting different platforms. Don't forget to use GNU make! -Richard --- Makefile Tue Aug 20 20:49:39 2002 +++ rny-Makefile Thu Aug 22 16:45:56 2002 @@ -2,4 +2,4 @@ setup: setup %: if ! test -f Makefile.cil ;then echo Run configure first ;fi - make -f Makefile.cil $* + $(MAKE) -f Makefile.cil $* --- configure.in Tue Aug 20 20:49:39 2002 +++ rny-configure.in Thu Aug 22 16:46:11 2002 @@ -105,7 +105,7 @@ diagnostic "major is $major" # minor: numbers after the . # (the outer level of bracket-quotation protects the inner brackets) - [minor=`echo $ver | sed 's/^.*\.\([0-9]\+\).*$/\1/'`] + [minor=`echo $ver | sed 's/[^.]*\.//'`] diagnostic "minor is $minor" # I would think autoconf would already have a facility for doing @@ -156,6 +156,8 @@ ;; linux) ;; + freebsd) + ;; *) AC_MSG_ERROR([ Unsupported Perl port $perlport -- sorry. @@ -267,7 +269,7 @@ # $target is typically processor-vendor-os case "$target" in # linux - *86*linux*) + *86*linux*|*86*freebsd*) AC_MSG_RESULT(configuring for linux/x86) ARCHOS=x86_LINUX ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners