update to cil-1.3.2
This commit is contained in:
parent
9f1a3fb74a
commit
651641fb5a
@ -1,11 +1,11 @@
|
|||||||
# $OpenBSD: Makefile,v 1.5 2004/11/23 11:22:01 espie Exp $
|
# $OpenBSD: Makefile,v 1.6 2005/05/09 13:52:38 avsm Exp $
|
||||||
|
|
||||||
# until tested on others, even though bytecode is produced
|
# until tested on others, even though bytecode is produced
|
||||||
ONLY_FOR_ARCHS= i386 amd64 macppc
|
ONLY_FOR_ARCHS= i386 amd64 macppc
|
||||||
|
|
||||||
COMMENT= "framework for analysis and transformation of C"
|
COMMENT= "framework for analysis and transformation of C"
|
||||||
|
|
||||||
DISTNAME= cil-1.2.5
|
DISTNAME= cil-1.3.2
|
||||||
CATEGORIES= devel lang
|
CATEGORIES= devel lang
|
||||||
MASTER_SITES= http://manju.cs.berkeley.edu/cil/distrib/
|
MASTER_SITES= http://manju.cs.berkeley.edu/cil/distrib/
|
||||||
|
|
||||||
@ -42,6 +42,7 @@ post-install:
|
|||||||
sed -e 's,@CILHOME@/lib,${LOCALBASE}/${P5SITE}/CIL,g' \
|
sed -e 's,@CILHOME@/lib,${LOCALBASE}/${P5SITE}/CIL,g' \
|
||||||
-e 's,@CILHOME@,${LOCALBASE},g' \
|
-e 's,@CILHOME@,${LOCALBASE},g' \
|
||||||
-e 's,@ARCHOS@,libexec/cil,g' \
|
-e 's,@ARCHOS@,libexec/cil,g' \
|
||||||
|
-e 's,@DEFAULT_CIL_MODE@,GNUCC,g' \
|
||||||
-e 's,@CC@,${GCC},g' < \
|
-e 's,@CC@,${GCC},g' < \
|
||||||
${WRKSRC}/bin/CilConfig.pm.in > ${P5INST}/CilConfig.pm
|
${WRKSRC}/bin/CilConfig.pm.in > ${P5INST}/CilConfig.pm
|
||||||
|
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
MD5 (cil-1.2.5.tar.gz) = a58640a11e96756ec687c58ef6ede004
|
MD5 (cil-1.3.2.tar.gz) = aba80dd700fcb1411598670cc36a9573
|
||||||
RMD160 (cil-1.2.5.tar.gz) = 367139e90396a1e64cdf70dca055d3057a1a536f
|
RMD160 (cil-1.3.2.tar.gz) = 9f0c27e14b17ec6fab8a6570bad649ca2f5ec6b4
|
||||||
SHA1 (cil-1.2.5.tar.gz) = addce58f5f55a9b284da481143c5f4195c9dafc6
|
SHA1 (cil-1.3.2.tar.gz) = caa92f2796d4a92a4512805a698e75097a3a0ec6
|
||||||
SIZE (cil-1.2.5.tar.gz) = 980853
|
SIZE (cil-1.3.2.tar.gz) = 1033093
|
||||||
|
@ -1,21 +1,21 @@
|
|||||||
$OpenBSD: patch-Makefile_cil_in,v 1.1 2004/06/21 18:53:12 avsm Exp $
|
$OpenBSD: patch-Makefile_cil_in,v 1.2 2005/05/09 13:52:38 avsm Exp $
|
||||||
--- Makefile.cil.in.orig 2004-06-20 18:38:15.000000000 +0100
|
--- Makefile.cil.in.orig Mon Jan 31 09:56:18 2005
|
||||||
+++ Makefile.cil.in 2004-06-20 18:38:36.000000000 +0100
|
+++ Makefile.cil.in Tue Mar 1 10:20:29 2005
|
||||||
@@ -56,7 +56,7 @@ CILLY_LIBRARY_MODULES = pretty inthash e
|
@@ -64,7 +64,7 @@ CILLY_LIBRARY_MODULES = pretty inthash e
|
||||||
cabs cabsvisit cprint lexerhack machdep cparser clexer \
|
patch frontc check mergecil \
|
||||||
cilversion cil formatparse formatlex formatcil cabs2cil \
|
dataflow dominators bitmap ssa \
|
||||||
patch frontc check mergecil logcalls logwrites rmtmps \
|
usedef logcalls logwrites rmtmps \
|
||||||
- callgraph epicenter heapify \
|
- callgraph epicenter heapify \
|
||||||
+ callgraph epicenter heapify nullint \
|
+ callgraph epicenter heapify nullint \
|
||||||
setp uref steensgaard olf dummy ptranal \
|
setp uref steensgaard olf dummy ptranal \
|
||||||
canonicalize heap oneret partial simplemem simplify \
|
canonicalize heap oneret partial simplemem simplify \
|
||||||
testcil \
|
dataslicing \
|
||||||
@@ -328,7 +328,7 @@ DISTRIB_SRC_FRONTC = cabs.ml cprint.ml c
|
@@ -351,7 +351,7 @@ DISTRIB_SRC_FRONTC = cabs.ml cprint.ml c
|
||||||
|
|
||||||
DISTRIB_SRC_EXT = logcalls.ml logcalls.mli \
|
DISTRIB_SRC_EXT = logcalls.ml logcalls.mli \
|
||||||
astslicer.ml simplemem.ml heap.ml partial.ml \
|
astslicer.ml simplemem.ml heap.ml partial.ml \
|
||||||
- logwrites.ml heapify.ml callgraph.ml callgraph.mli \
|
- logwrites.ml heapify.ml callgraph.ml callgraph.mli \
|
||||||
+ logwrites.ml heapify.ml nullint.ml callgraph.ml callgraph.mli \
|
+ logwrites.ml heapify.ml nullint.ml callgraph.ml callgraph.mli \
|
||||||
epicenter.ml \
|
epicenter.ml usedef.ml \
|
||||||
|
dataflow.ml dominators.ml bitmap.ml ssa.ml \
|
||||||
stackoverflow.mli stackoverflow.ml \
|
stackoverflow.mli stackoverflow.ml \
|
||||||
canonicalize.ml canonicalize.mli \
|
|
||||||
|
@ -1,16 +1,16 @@
|
|||||||
$OpenBSD: patch-configure_in,v 1.2 2004/06/22 20:57:25 avsm Exp $
|
$OpenBSD: patch-configure_in,v 1.3 2005/05/09 13:52:38 avsm Exp $
|
||||||
--- configure.in.orig 2004-04-06 16:51:21.000000000 +0100
|
--- configure.in.orig Mon Jan 31 09:56:18 2005
|
||||||
+++ configure.in 2004-06-20 16:57:30.000000000 +0100
|
+++ configure.in Tue Mar 1 10:03:19 2005
|
||||||
@@ -219,6 +219,8 @@ AC_MSG_CHECKING([for Perl])
|
@@ -226,6 +226,8 @@ AC_MSG_CHECKING([for Perl])
|
||||||
;;
|
;;
|
||||||
freebsd)
|
openbsd)
|
||||||
;;
|
;;
|
||||||
+ openbsd)
|
+ openbsd)
|
||||||
+ ;;
|
+ ;;
|
||||||
darwin) # Mac OS X
|
darwin) # Mac OS X
|
||||||
;;
|
;;
|
||||||
*)
|
*)
|
||||||
@@ -378,6 +380,13 @@ case "$target" in
|
@@ -393,6 +395,13 @@ case "$target" in
|
||||||
ARCHOS=x86_LINUX
|
ARCHOS=x86_LINUX
|
||||||
;;
|
;;
|
||||||
|
|
||||||
@ -24,7 +24,7 @@ $OpenBSD: patch-configure_in,v 1.2 2004/06/22 20:57:25 avsm Exp $
|
|||||||
# Mac OS X
|
# Mac OS X
|
||||||
*powerpc*darwin*)
|
*powerpc*darwin*)
|
||||||
AC_MSG_RESULT(configuring for powerpc/darwin, which we treat like linux/x86)
|
AC_MSG_RESULT(configuring for powerpc/darwin, which we treat like linux/x86)
|
||||||
@@ -406,7 +415,7 @@ case "$target" in
|
@@ -421,7 +430,7 @@ case "$target" in
|
||||||
])
|
])
|
||||||
;;
|
;;
|
||||||
esac
|
esac
|
||||||
|
@ -1,11 +1,11 @@
|
|||||||
$OpenBSD: patch-src_maincil_ml,v 1.1 2004/06/21 18:53:12 avsm Exp $
|
$OpenBSD: patch-src_maincil_ml,v 1.2 2005/05/09 13:52:38 avsm Exp $
|
||||||
--- src/maincil.ml.orig 2004-06-20 18:35:17.000000000 +0100
|
--- src/maincil.ml.orig Mon Jan 31 09:56:18 2005
|
||||||
+++ src/maincil.ml 2004-06-20 18:35:48.000000000 +0100
|
+++ src/maincil.ml Tue Mar 1 10:06:02 2005
|
||||||
@@ -104,6 +104,7 @@ let features : C.featureDescr list =
|
@@ -104,6 +104,7 @@ let features : C.featureDescr list =
|
||||||
Partial.feature;
|
Partial.feature;
|
||||||
Simplemem.feature;
|
Simplemem.feature;
|
||||||
Simplify.feature;
|
Simplify.feature;
|
||||||
+ Nullint.feature;
|
+ Nullint.feature;
|
||||||
|
Dataslicing.feature;
|
||||||
]
|
]
|
||||||
@ Feature_config.features
|
@ Feature_config.features
|
||||||
|
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
@comment $OpenBSD: PLIST,v 1.2 2004/09/14 23:43:55 espie Exp $
|
@comment $OpenBSD: PLIST,v 1.3 2005/05/09 13:52:38 avsm Exp $
|
||||||
bin/cilly
|
bin/cilly
|
||||||
bin/patcher
|
bin/patcher
|
||||||
lib/cil/
|
lib/cil/
|
||||||
@ -13,6 +13,7 @@ lib/cil/cil.cmi
|
|||||||
lib/cil/cil.cmxa
|
lib/cil/cil.cmxa
|
||||||
lib/cil/clexer.cmi
|
lib/cil/clexer.cmi
|
||||||
lib/cil/clist.cmi
|
lib/cil/clist.cmi
|
||||||
|
lib/cil/dataslicing.cmi
|
||||||
lib/cil/errormsg.cmi
|
lib/cil/errormsg.cmi
|
||||||
lib/cil/escape.cmi
|
lib/cil/escape.cmi
|
||||||
lib/cil/formatcil.cmi
|
lib/cil/formatcil.cmi
|
||||||
|
Loading…
Reference in New Issue
Block a user