cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
f47347c465
openbsd-ports/devel/cil/Makefile

65 lines
1.7 KiB
Makefile
Raw Normal View History

Fix build with upcoming ocaml update. OK landry@
2010-12-07 09:57:19 -05:00
# $OpenBSD: Makefile,v 1.20 2010/12/07 14:57:19 dcoppa Exp $
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
# until tested on others, even though bytecode is produced
Build on powerpc and not just macppc now that we have socppc. from brad@
2008-05-19 03:43:42 -04:00
ONLY_FOR_ARCHS= i386 amd64 powerpc
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
Remove quotes surrounding COMMENT*/PERMIT_*/BROKEN
2007-09-15 22:52:56 -04:00
COMMENT= framework for analysis and transformation of C
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
update to cil-1.3.6
2009-03-11 17:20:27 -04:00
DISTNAME= cil-1.3.6
Fix build with upcoming ocaml update. OK landry@
2010-12-07 09:57:19 -05:00
REVISION= 3
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
CATEGORIES= devel lang
HOMEPAGE has been changed long ago.
2010-11-12 12:17:27 -05:00
HOMEPAGE= http://www.eecs.berkeley.edu/~necula/cil/
MASTER_SITES= ${HOMEPAGE}/distrib/
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
# BSD license
PERMIT_PACKAGE_CDROM= Yes
PERMIT_PACKAGE_FTP= Yes
PERMIT_DISTFILES_CDROM= Yes
PERMIT_DISTFILES_FTP= Yes
WANTLIB markers
2004-11-23 06:22:00 -05:00
WANTLIB= c curses m pthread
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
more new-style MODULES.
2004-08-10 16:41:47 -04:00
MODULES= lang/ocaml
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
WRKDIST= ${WRKDIR}/cil
update to cil-1.3.5, lots of nice fixes to parsing gcc/msvc code
2006-05-28 11:44:14 -04:00
OURFILES= nullint kerneltrace randomvars
update to cil-1.3.6
2009-03-11 17:20:27 -04:00
CONFIGURE_STYLE= autoconf no-autoheader
AUTOCONF_VERSION= 2.61
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
USE_GMAKE= yes
ALL_TARGET= setup
update to cil-1.3.5, lots of nice fixes to parsing gcc/msvc code
2006-05-28 11:44:14 -04:00
CONFIGURE_ARGS= EXTRAFEATURES="${OURFILES}"
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
P5SITE= libdata/perl5/site_perl
P5INST= ${PREFIX}/${P5SITE}
SUBST_VARS+= P5SITE
GCC=/usr/bin/gcc # cant use CC in case it's set to cilly
add a simple NULL/int comparison checker to CIL
2004-06-21 14:53:12 -04:00
post-extract:
Add in a --dorandomvars which sets local variables to values other than 0 to try and find bugs which depend on them being initalized to 0. Also turn off the other transformations by default (use --dokerneltrace or --donullint) Go get em Chad.
2005-05-27 17:46:23 -04:00
.for i in ${OURFILES}
@cp ${FILESDIR}/$i.ml ${WRKSRC}/src/ext
.endfor
add a simple NULL/int comparison checker to CIL
2004-06-21 14:53:12 -04:00
needless use of pre-fake
2005-10-18 15:09:46 -04:00
pre-install:
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
${INSTALL_DATA_DIR} ${PREFIX}/libexec/cil
${INSTALL_DATA_DIR} ${P5INST}/CIL
post-install:
update to cil-1.3.5, lots of nice fixes to parsing gcc/msvc code
2006-05-28 11:44:14 -04:00
sed -e 's,@CILHOME@,${LOCALBASE},g' \
-e 's,@CILLIBDIR@,${LOCALBASE}/${P5SITE}/CIL,g' \
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
-e 's,@ARCHOS@,libexec/cil,g' \
update to cil-1.3.2
2005-05-09 09:52:38 -04:00
-e 's,@DEFAULT_CIL_MODE@,GNUCC,g' \
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
-e 's,@CC@,${GCC},g' < \
${WRKSRC}/bin/CilConfig.pm.in > ${P5INST}/CilConfig.pm
update to cil-1.3.5, lots of nice fixes to parsing gcc/msvc code
2006-05-28 11:44:14 -04:00
${INSTALL_SCRIPT} ${WRKBUILD}/bin/cilly ${PREFIX}/bin
${INSTALL_SCRIPT} ${WRKBUILD}/bin/patcher ${PREFIX}/bin
initial import of cil-1.2.5 -- 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. 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.
2004-06-20 12:08:28 -04:00
.for i in Cilly KeptFile OutputFile TempFile
${INSTALL_DATA} ${WRKSRC}/lib/${i}.pm ${P5INST}/CIL
.endfor
.for i in machdep.exe cilly.byte.exe cilly.asm.exe
${INSTALL_PROGRAM} ${WRKBUILD}/obj/x86_LINUX/${i} ${PREFIX}/libexec/cil
.endfor
.include <bsd.port.mk>
Reference in New Issue Copy Permalink