$OpenBSD: patch-Makefile_cil_in,v 1.5 2005/10/08 08:06:52 pvalchev Exp $
--- Makefile.cil.in.orig	Wed Jun  1 06:37:13 2005
+++ Makefile.cil.in	Sat Oct  8 02:22:14 2005
@@ -70,7 +70,7 @@ CILLY_LIBRARY_MODULES = pretty inthash e
               patch frontc check mergecil \
               dataflow dominators bitmap ssa \
               usedef logcalls logwrites rmtmps \
-	      callgraph epicenter heapify \
+	      callgraph epicenter heapify nullint kerneltrace randomvars \
               setp uref steensgaard olf dummy ptranal \
               canonicalize heap oneret partial simplemem simplify \
 	      dataslicing \
@@ -363,7 +363,8 @@ DISTRIB_SRC_FRONTC = cabs.ml cprint.ml c
 
 DISTRIB_SRC_EXT = logcalls.ml logcalls.mli \
                   astslicer.ml simplemem.ml heap.ml partial.ml \
-                  logwrites.ml heapify.ml callgraph.ml callgraph.mli \
+                  logwrites.ml heapify.ml nullint.ml kerneltrace.ml \
+		  randomvars.ml callgraph.ml callgraph.mli \
                   epicenter.ml usedef.ml \
                   dataflow.ml dominators.ml bitmap.ml ssa.ml \
 	          stackoverflow.mli stackoverflow.ml \
