$OpenBSD: patch-Makefile_cil_in,v 1.4 2005/05/27 21:46:23 avsm Exp $
--- Makefile.cil.in.orig	Mon Jan 31 09:56:18 2005
+++ Makefile.cil.in	Fri May 27 09:00:17 2005
@@ -64,7 +64,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 \
@@ -351,7 +351,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 \
