On Thu, Mar 29, 2012 at 08:55:14PM +0300, Lazaros Koromilas wrote: > Hello, > > I've been using CIL 1.4.0 for a while and thought I'd also > update the port. > * Needs findlib now > * Perl module magic is partially handled in Makefile.in patch > * ARCHOS is used the same way in configure > > Tested on i386 and macppc.
Without REVISION this time. Index: Makefile =================================================================== RCS file: /cvs/ports/devel/cil/Makefile,v retrieving revision 1.20 diff -u -p -r1.20 Makefile --- Makefile 7 Dec 2010 14:57:19 -0000 1.20 +++ Makefile 30 Mar 2012 08:31:22 -0000 @@ -5,11 +5,10 @@ ONLY_FOR_ARCHS= i386 amd64 powerpc COMMENT= framework for analysis and transformation of C -DISTNAME= cil-1.3.6 -REVISION= 3 +DISTNAME= cil-1.4.0 CATEGORIES= devel lang -HOMEPAGE= http://www.eecs.berkeley.edu/~necula/cil/ -MASTER_SITES= ${HOMEPAGE}/distrib/ +HOMEPAGE= http://cil.sourceforge.net/ +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=cil/} # BSD license PERMIT_PACKAGE_CDROM= Yes @@ -19,12 +18,13 @@ PERMIT_DISTFILES_FTP= Yes WANTLIB= c curses m pthread MODULES= lang/ocaml -WRKDIST= ${WRKDIR}/cil +BUILD_DEPENDS= ${RUN_DEPENDS} +RUN_DEPENDS= sysutils/findlib OURFILES= nullint kerneltrace randomvars CONFIGURE_STYLE= autoconf no-autoheader -AUTOCONF_VERSION= 2.61 +AUTOCONF_VERSION= 2.68 USE_GMAKE= yes ALL_TARGET= setup CONFIGURE_ARGS= EXTRAFEATURES="${OURFILES}" @@ -33,32 +33,23 @@ P5INST= ${PREFIX}/${P5SITE} SUBST_VARS+= P5SITE GCC=/usr/bin/gcc # cant use CC in case it's set to cilly +FAKE_ENV= OCAMLFIND_DESTDIR=${PREFIX}/lib/ocaml/site-lib/cil + post-extract: .for i in ${OURFILES} @cp ${FILESDIR}/$i.ml ${WRKSRC}/src/ext .endfor pre-install: - ${INSTALL_DATA_DIR} ${PREFIX}/libexec/cil + ${INSTALL_DATA_DIR} ${PREFIX}/lib/ocaml/site-lib/cil ${INSTALL_DATA_DIR} ${P5INST}/CIL post-install: sed -e 's,@CILHOME@,${LOCALBASE},g' \ - -e 's,@CILLIBDIR@,${LOCALBASE}/${P5SITE}/CIL,g' \ - -e 's,@ARCHOS@,libexec/cil,g' \ - -e 's,@DEFAULT_CIL_MODE@,GNUCC,g' \ - -e 's,@CC@,${GCC},g' < \ + -e 's,@CILLIBDIR@,${LOCALBASE}/${P5SITE}/CIL,g' \ + -e 's,@ARCHOS@,libexec/cil,g' \ + -e 's,@DEFAULT_CIL_MODE@,GNUCC,g' \ + -e 's,@CC@,${GCC},g' < \ ${WRKSRC}/bin/CilConfig.pm.in > ${P5INST}/CilConfig.pm - - ${INSTALL_SCRIPT} ${WRKBUILD}/bin/cilly ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKBUILD}/bin/patcher ${PREFIX}/bin - -.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> Index: distinfo =================================================================== RCS file: /cvs/ports/devel/cil/distinfo,v retrieving revision 1.7 diff -u -p -r1.7 distinfo --- distinfo 11 Mar 2009 21:20:27 -0000 1.7 +++ distinfo 30 Mar 2012 08:31:22 -0000 @@ -1,5 +1,5 @@ -MD5 (cil-1.3.6.tar.gz) = ES37q90OEoCADWK6REmrRQ== -RMD160 (cil-1.3.6.tar.gz) = 5Q9Kt6rGI6rbWcHlHhKAIm4uteA= -SHA1 (cil-1.3.6.tar.gz) = tXsI+tJrVKheY8D7be14WDdpOeI= -SHA256 (cil-1.3.6.tar.gz) = Ocx0Y5hVG0g7PStNkNW9Wq0yb5RrdPzdZ9VDT3x/hU8= -SIZE (cil-1.3.6.tar.gz) = 1368573 +MD5 (cil-1.4.0.tar.gz) = phsyn2bnZGFjraVgRlRa9Q== +RMD160 (cil-1.4.0.tar.gz) = LghUdKC4ScHGrQuw0vBcg/bu7sE= +SHA1 (cil-1.4.0.tar.gz) = c8S/OKDf5oim1LV+HPvLZmGIYZw= +SHA256 (cil-1.4.0.tar.gz) = yFJPBcoECaO8GkmP1P0JHUI/nBw3j6mew52VJZp71Jo= +SIZE (cil-1.4.0.tar.gz) = 1790014 Index: patches/patch-Makefile_in =================================================================== RCS file: /cvs/ports/devel/cil/patches/patch-Makefile_in,v retrieving revision 1.2 diff -u -p -r1.2 patch-Makefile_in --- patches/patch-Makefile_in 7 Dec 2010 14:57:19 -0000 1.2 +++ patches/patch-Makefile_in 30 Mar 2012 08:31:22 -0000 @@ -1,24 +1,39 @@ $OpenBSD: patch-Makefile_in,v 1.2 2010/12/07 14:57:19 dcoppa Exp $ ---- Makefile.in.orig Mon Feb 5 22:10:29 2007 -+++ Makefile.in Wed Nov 10 17:15:22 2010 -@@ -115,7 +115,7 @@ $(OBJDIR)/cilly$(EXE) : $(CILLY_MODULES:%=$(OBJDIR)/%. - @$(NARRATIVE) "Linking $(COMPILETOWHAT) $@ $(LINKMSG)" - $(AT)$(CAMLLINK) -verbose -o $@ \ - $(CILLY_LIBS:%=%.$(CMXA)) \ -- $(CILLY_LIBS:%=-cclib -l%) \ -+ $(unix camlstr -l%) \ - $^ +--- Makefile.in.orig Fri Nov 4 20:20:53 2011 ++++ Makefile.in Thu Mar 29 18:42:05 2012 +@@ -215,10 +215,10 @@ + lib/Cilly.pm: lib/Cilly.pm.in src/machdep-ml.c configure.in Makefile.in + cp lib/Cilly.pm.in lib/Cilly.pm + if $(MACHDEPCC) -m32 src/machdep-ml.c -o $(OBJDIR)/machdep-ml32.exe ;then \ +- sed -i -e "s|nogcc32model|`$(EMUL) $(OBJDIR)/machdep-ml32.exe --env`|" lib/Cilly.pm; \ ++ perl -pi -e "s|nogcc32model|`$(EMUL) $(OBJDIR)/machdep-ml32.exe --env`|" lib/Cilly.pm; \ + fi + if $(MACHDEPCC) -m64 src/machdep-ml.c -o $(OBJDIR)/machdep-ml64.exe ;then \ +- sed -i -e "s|nogcc64model|`$(EMUL) $(OBJDIR)/machdep-ml64.exe --env`|" lib/Cilly.pm; \ ++ perl -pi -e "s|nogcc64model|`$(EMUL) $(OBJDIR)/machdep-ml64.exe --env`|" lib/Cilly.pm; \ + fi + # Create the version information module +@@ -406,16 +406,17 @@ + pkglibexecdir = $(libexecdir)/cil + bindir = @bindir@ + # Hack - I don't know how to find perl_vendorlib +-perl_vendorlib = $(libdir) ++perl_vendorlib = $(prefix)/libdata/perl5/site_perl -@@ -273,7 +273,10 @@ $(OBJDIR)/libperfcount.a: %: %($(OBJDIR)/perfcount.$(C - ifeq ($(NATIVECAML),1) - $(OBJDIR)/libcil.a: $(OCAML_CIL_LIB_CMODULES:%=$(OBJDIR)/lib%.a) \ - $(OCAML_CIL_LIB_MODULES:%=$(OBJDIR)/%.$(CMO)) -- ocamlopt -output-obj -o $@ $(CILLY_LIBS:%=%.cmxa) $^ -+ ocamlopt -output-obj -o $(OBJDIR)/libcil.o unix.cmxa str.cmxa $^ -+ rm -f $@ -+ ar rcs $@ $(OBJDIR)/libcil.o -+ rm -f $(OBJDIR)/libcil.o - else - $(OBJDIR)/libcil.a: - @echo "Can only build $@ when NATIVECAML is 1." + install: install-findlib + $(INSTALL) -d $(DESTDIR)$(perl_vendorlib) +- $(INSTALL) -m 0644 lib/*.pm bin/CilConfig.pm $(DESTDIR)$(perl_vendorlib) +- sed -i "s,^.*cilhome.*$$,\$$::cilhome = \"$(libexecdir)/cil\";," $(DESTDIR)$(perl_vendorlib)/CilConfig.pm ++ $(INSTALL) -m 0644 lib/*.pm $(DESTDIR)$(perl_vendorlib)/CIL + $(INSTALL) -d $(DESTDIR)$(bindir) + $(INSTALL) -m 0755 bin/cilly $(DESTDIR)$(bindir) +- $(INSTALL) -d $(DESTDIR)$(pkglibexecdir)/$(OBJDIR) +- $(INSTALL) -m 0755 $(OBJDIR)/cilly.*.exe $(DESTDIR)$(pkglibexecdir)/$(OBJDIR) ++ $(INSTALL) -m 0755 bin/patcher $(DESTDIR)$(bindir) ++ $(INSTALL) -d $(DESTDIR)$(pkglibexecdir) ++ $(INSTALL) -m 0755 $(OBJDIR)/cilly.*.exe $(DESTDIR)$(pkglibexecdir) ++ $(INSTALL) -m 0755 $(OBJDIR)/machdep-ml.exe $(DESTDIR)$(pkglibexecdir) + + # FIXME + uninstall: uninstall-findlib Index: patches/patch-configure_in =================================================================== RCS file: /cvs/ports/devel/cil/patches/patch-configure_in,v retrieving revision 1.7 diff -u -p -r1.7 patch-configure_in --- patches/patch-configure_in 11 Mar 2009 21:20:27 -0000 1.7 +++ patches/patch-configure_in 30 Mar 2012 08:31:22 -0000 @@ -1,7 +1,7 @@ $OpenBSD: patch-configure_in,v 1.7 2009/03/11 21:20:27 avsm Exp $ ---- configure.in.orig Mon Feb 5 21:10:29 2007 -+++ configure.in Thu Nov 27 12:26:42 2008 -@@ -80,7 +80,7 @@ binaryExists() { +--- configure.in.orig Fri Nov 4 20:20:53 2011 ++++ configure.in Thu Mar 29 17:32:46 2012 +@@ -80,7 +80,7 @@ # this specifies the root of the source tree; it's just the # directory where ./configure runs, except on cygwin, which # overrides this below @@ -10,17 +10,17 @@ $OpenBSD: patch-configure_in,v 1.7 2009/ DEFAULT_COMPILER=_GNUCC DEFAULT_CIL_MODE=GNUCC -@@ -408,6 +408,13 @@ case "$target" in +@@ -348,10 +348,10 @@ + ARCHOS=x86_LINUX + ;; - *86*linux*) - AC_MSG_RESULT(configuring for linux/x86) -+ -+ ARCHOS=x86_LINUX -+ ;; -+ -+ # openbsd +- *86*openbsd*) +- AC_MSG_RESULT(configuring for OpenBSD/x86) + *openbsd*) + AC_MSG_RESULT(configuring for OpenBSD) - ARCHOS=x86_LINUX +- ARCHOS=x86_OPENBSD ++ ARCHOS=OPENBSD ;; + + *i386*freebsd*|*amd64*freebsd*) Index: pkg/PLIST =================================================================== RCS file: /cvs/ports/devel/cil/pkg/PLIST,v retrieving revision 1.5 diff -u -p -r1.5 PLIST --- pkg/PLIST 11 Mar 2009 21:20:27 -0000 1.5 +++ pkg/PLIST 30 Mar 2012 08:31:22 -0000 @@ -1,49 +1,206 @@ @comment $OpenBSD: PLIST,v 1.5 2009/03/11 21:20:27 avsm Exp $ bin/cilly bin/patcher -lib/cil/ -lib/cil/alpha.cmi -lib/cil/bitmap.cmi -lib/cil/cabs2cil.cmi -lib/cil/cabsvisit.cmi -lib/cil/callgraph.cmi -lib/cil/canonicalize.cmi -lib/cil/cfg.cmi -lib/cil/check.cmi -lib/cil/cil.a -lib/cil/cil.cma -lib/cil/cil.cmi -lib/cil/cil.cmxa -lib/cil/cillower.cmi -lib/cil/ciloptions.cmi -lib/cil/clexer.cmi -lib/cil/clist.cmi -lib/cil/dataflow.cmi -lib/cil/dataslicing.cmi -lib/cil/dominators.cmi -lib/cil/errormsg.cmi -lib/cil/escape.cmi -lib/cil/formatcil.cmi -lib/cil/frontc.cmi -lib/cil/growArray.cmi -lib/cil/inthash.cmi -lib/cil/libperfcount.a -lib/cil/logcalls.cmi -lib/cil/longarray.cmi -lib/cil/mergecil.cmi -lib/cil/olf.cmi -lib/cil/oneret.cmi -lib/cil/patch.cmi -lib/cil/pretty.cmi -lib/cil/ptranal.cmi -lib/cil/rmtmps.cmi -lib/cil/setp.cmi -lib/cil/ssa.cmi -lib/cil/stats.cmi -lib/cil/trace.cmi -lib/cil/uref.cmi -lib/cil/util.cmi -lib/cil/whitetrack.cmi +lib/ocaml/site-lib/cil/ +lib/ocaml/site-lib/cil/META +lib/ocaml/site-lib/cil/alpha.cmi +lib/ocaml/site-lib/cil/alpha.cmx +lib/ocaml/site-lib/cil/alpha.mli +lib/ocaml/site-lib/cil/availexps.cmi +lib/ocaml/site-lib/cil/availexps.cmx +lib/ocaml/site-lib/cil/availexpslv.cmi +lib/ocaml/site-lib/cil/availexpslv.cmx +lib/ocaml/site-lib/cil/bitmap.cmi +lib/ocaml/site-lib/cil/bitmap.cmx +lib/ocaml/site-lib/cil/bitmap.mli +lib/ocaml/site-lib/cil/blockinggraph.mli +lib/ocaml/site-lib/cil/cabs.cmi +lib/ocaml/site-lib/cil/cabs.cmx +lib/ocaml/site-lib/cil/cabs2cil.cmi +lib/ocaml/site-lib/cil/cabs2cil.cmx +lib/ocaml/site-lib/cil/cabs2cil.mli +lib/ocaml/site-lib/cil/cabshelper.cmi +lib/ocaml/site-lib/cil/cabshelper.cmx +lib/ocaml/site-lib/cil/cabsvisit.cmi +lib/ocaml/site-lib/cil/cabsvisit.cmx +lib/ocaml/site-lib/cil/cabsvisit.mli +lib/ocaml/site-lib/cil/callgraph.cmi +lib/ocaml/site-lib/cil/callgraph.cmx +lib/ocaml/site-lib/cil/callgraph.mli +lib/ocaml/site-lib/cil/canonicalize.cmi +lib/ocaml/site-lib/cil/canonicalize.cmx +lib/ocaml/site-lib/cil/canonicalize.mli +lib/ocaml/site-lib/cil/ccl.mli +lib/ocaml/site-lib/cil/cfg.cmi +lib/ocaml/site-lib/cil/cfg.cmx +lib/ocaml/site-lib/cil/cfg.mli +lib/ocaml/site-lib/cil/check.cmi +lib/ocaml/site-lib/cil/check.cmx +lib/ocaml/site-lib/cil/check.mli +lib/ocaml/site-lib/cil/cil.a +lib/ocaml/site-lib/cil/cil.cma +lib/ocaml/site-lib/cil/cil.cmi +lib/ocaml/site-lib/cil/cil.cmx +lib/ocaml/site-lib/cil/cil.cmxa +lib/ocaml/site-lib/cil/cil.mli +lib/ocaml/site-lib/cil/cilint.cmi +lib/ocaml/site-lib/cil/cilint.cmx +lib/ocaml/site-lib/cil/cilint.mli +lib/ocaml/site-lib/cil/cillower.cmi +lib/ocaml/site-lib/cil/cillower.cmx +lib/ocaml/site-lib/cil/cillower.mli +lib/ocaml/site-lib/cil/ciloptions.cmi +lib/ocaml/site-lib/cil/ciloptions.cmx +lib/ocaml/site-lib/cil/ciloptions.mli +lib/ocaml/site-lib/cil/ciltools.cmi +lib/ocaml/site-lib/cil/ciltools.cmx +lib/ocaml/site-lib/cil/cilutil.cmi +lib/ocaml/site-lib/cil/cilutil.cmx +lib/ocaml/site-lib/cil/cilversion.cmi +lib/ocaml/site-lib/cil/cilversion.cmx +lib/ocaml/site-lib/cil/clexer.cmi +lib/ocaml/site-lib/cil/clexer.cmx +lib/ocaml/site-lib/cil/clexer.mli +lib/ocaml/site-lib/cil/clist.cmi +lib/ocaml/site-lib/cil/clist.cmx +lib/ocaml/site-lib/cil/clist.mli +lib/ocaml/site-lib/cil/cparser.cmi +lib/ocaml/site-lib/cil/cparser.cmx +lib/ocaml/site-lib/cil/cparser.mli +lib/ocaml/site-lib/cil/cprint.cmi +lib/ocaml/site-lib/cil/cprint.cmx +lib/ocaml/site-lib/cil/dataflow.cmi +lib/ocaml/site-lib/cil/dataflow.cmx +lib/ocaml/site-lib/cil/dataflow.mli +lib/ocaml/site-lib/cil/dataslicing.cmi +lib/ocaml/site-lib/cil/dataslicing.cmx +lib/ocaml/site-lib/cil/dataslicing.mli +lib/ocaml/site-lib/cil/deadcodeelim.cmi +lib/ocaml/site-lib/cil/deadcodeelim.cmx +lib/ocaml/site-lib/cil/dominators.cmi +lib/ocaml/site-lib/cil/dominators.cmx +lib/ocaml/site-lib/cil/dominators.mli +lib/ocaml/site-lib/cil/epicenter.cmi +lib/ocaml/site-lib/cil/epicenter.cmx +lib/ocaml/site-lib/cil/errormsg.cmi +lib/ocaml/site-lib/cil/errormsg.cmx +lib/ocaml/site-lib/cil/errormsg.mli +lib/ocaml/site-lib/cil/escape.cmi +lib/ocaml/site-lib/cil/escape.cmx +lib/ocaml/site-lib/cil/escape.mli +lib/ocaml/site-lib/cil/expcompare.cmi +lib/ocaml/site-lib/cil/expcompare.cmx +lib/ocaml/site-lib/cil/feature_config.cmi +lib/ocaml/site-lib/cil/feature_config.cmx +lib/ocaml/site-lib/cil/formatcil.cmi +lib/ocaml/site-lib/cil/formatcil.cmx +lib/ocaml/site-lib/cil/formatcil.mli +lib/ocaml/site-lib/cil/formatlex.cmi +lib/ocaml/site-lib/cil/formatlex.cmx +lib/ocaml/site-lib/cil/formatparse.cmi +lib/ocaml/site-lib/cil/formatparse.cmx +lib/ocaml/site-lib/cil/formatparse.mli +lib/ocaml/site-lib/cil/frontc.cmi +lib/ocaml/site-lib/cil/frontc.cmx +lib/ocaml/site-lib/cil/frontc.mli +lib/ocaml/site-lib/cil/golf.mli +lib/ocaml/site-lib/cil/growArray.cmi +lib/ocaml/site-lib/cil/growArray.cmx +lib/ocaml/site-lib/cil/growArray.mli +lib/ocaml/site-lib/cil/heap.cmi +lib/ocaml/site-lib/cil/heap.cmx +lib/ocaml/site-lib/cil/heapify.cmi +lib/ocaml/site-lib/cil/heapify.cmx +lib/ocaml/site-lib/cil/inthash.cmi +lib/ocaml/site-lib/cil/inthash.cmx +lib/ocaml/site-lib/cil/inthash.mli +lib/ocaml/site-lib/cil/kerneltrace.cmi +lib/ocaml/site-lib/cil/kerneltrace.cmx +lib/ocaml/site-lib/cil/lexerhack.cmi +lib/ocaml/site-lib/cil/lexerhack.cmx +lib/ocaml/site-lib/cil/liveness.cmi +lib/ocaml/site-lib/cil/liveness.cmx +lib/ocaml/site-lib/cil/logcalls.cmi +lib/ocaml/site-lib/cil/logcalls.cmx +lib/ocaml/site-lib/cil/logcalls.mli +lib/ocaml/site-lib/cil/logwrites.cmi +lib/ocaml/site-lib/cil/logwrites.cmx +lib/ocaml/site-lib/cil/longarray.cmi +lib/ocaml/site-lib/cil/longarray.cmx +lib/ocaml/site-lib/cil/longarray.mli +lib/ocaml/site-lib/cil/machdep.cmi +lib/ocaml/site-lib/cil/machdep.cmx +lib/ocaml/site-lib/cil/machdepenv.cmi +lib/ocaml/site-lib/cil/machdepenv.cmx +lib/ocaml/site-lib/cil/main.cmi +lib/ocaml/site-lib/cil/main.cmx +lib/ocaml/site-lib/cil/mergecil.cmi +lib/ocaml/site-lib/cil/mergecil.cmx +lib/ocaml/site-lib/cil/mergecil.mli +lib/ocaml/site-lib/cil/nullint.cmi +lib/ocaml/site-lib/cil/nullint.cmx +lib/ocaml/site-lib/cil/olf.cmi +lib/ocaml/site-lib/cil/olf.cmx +lib/ocaml/site-lib/cil/olf.mli +lib/ocaml/site-lib/cil/oneret.cmi +lib/ocaml/site-lib/cil/oneret.cmx +lib/ocaml/site-lib/cil/oneret.mli +lib/ocaml/site-lib/cil/optutil.mli +lib/ocaml/site-lib/cil/partial.cmi +lib/ocaml/site-lib/cil/partial.cmx +lib/ocaml/site-lib/cil/patch.cmi +lib/ocaml/site-lib/cil/patch.cmx +lib/ocaml/site-lib/cil/patch.mli +lib/ocaml/site-lib/cil/predabst.cmi +lib/ocaml/site-lib/cil/predabst.cmx +lib/ocaml/site-lib/cil/pretty.cmi +lib/ocaml/site-lib/cil/pretty.cmx +lib/ocaml/site-lib/cil/pretty.mli +lib/ocaml/site-lib/cil/ptranal.cmi +lib/ocaml/site-lib/cil/ptranal.cmx +lib/ocaml/site-lib/cil/ptranal.mli +lib/ocaml/site-lib/cil/randomvars.cmi +lib/ocaml/site-lib/cil/randomvars.cmx +lib/ocaml/site-lib/cil/reachingdefs.cmi +lib/ocaml/site-lib/cil/reachingdefs.cmx +lib/ocaml/site-lib/cil/rmtmps.cmi +lib/ocaml/site-lib/cil/rmtmps.cmx +lib/ocaml/site-lib/cil/rmtmps.mli +lib/ocaml/site-lib/cil/setp.cmi +lib/ocaml/site-lib/cil/setp.cmx +lib/ocaml/site-lib/cil/setp.mli +lib/ocaml/site-lib/cil/sfi.cmi +lib/ocaml/site-lib/cil/sfi.cmx +lib/ocaml/site-lib/cil/simplemem.cmi +lib/ocaml/site-lib/cil/simplemem.cmx +lib/ocaml/site-lib/cil/simplify.cmi +lib/ocaml/site-lib/cil/simplify.cmx +lib/ocaml/site-lib/cil/simplify.mli +lib/ocaml/site-lib/cil/ssa.cmi +lib/ocaml/site-lib/cil/ssa.cmx +lib/ocaml/site-lib/cil/ssa.mli +lib/ocaml/site-lib/cil/stackoverflow.mli +lib/ocaml/site-lib/cil/stats.cmi +lib/ocaml/site-lib/cil/stats.cmx +lib/ocaml/site-lib/cil/stats.mli +lib/ocaml/site-lib/cil/steensgaard.mli +lib/ocaml/site-lib/cil/testcil.cmi +lib/ocaml/site-lib/cil/testcil.cmx +lib/ocaml/site-lib/cil/trace.cmi +lib/ocaml/site-lib/cil/trace.cmx +lib/ocaml/site-lib/cil/trace.mli +lib/ocaml/site-lib/cil/uref.cmi +lib/ocaml/site-lib/cil/uref.cmx +lib/ocaml/site-lib/cil/uref.mli +lib/ocaml/site-lib/cil/usedef.cmi +lib/ocaml/site-lib/cil/usedef.cmx +lib/ocaml/site-lib/cil/util.cmi +lib/ocaml/site-lib/cil/util.cmx +lib/ocaml/site-lib/cil/util.mli +lib/ocaml/site-lib/cil/whitetrack.cmi +lib/ocaml/site-lib/cil/whitetrack.cmx +lib/ocaml/site-lib/cil/whitetrack.mli +lib/ocaml/site-lib/cil/zrapp.mli ${P5SITE}/CIL/ ${P5SITE}/CIL/Cilly.pm ${P5SITE}/CIL/KeptFile.pm @@ -53,9 +210,4 @@ ${P5SITE}/CilConfig.pm libexec/cil/ @bin libexec/cil/cilly.asm.exe @bin libexec/cil/cilly.byte.exe -@bin libexec/cil/machdep.exe -@comment share/cil/ -@comment share/cil/Cilly.pm -@comment share/cil/KeptFile.pm -@comment share/cil/OutputFile.pm -@comment share/cil/TempFile.pm +@bin libexec/cil/machdep-ml.exe