Improved test.

[ocaml-bitstring.git] / cil-tools / Makefile.in

diff --git a/cil-tools/Makefile.in b/cil-tools/Makefile.in
index c66dd21..c596b0e 100644 (file)
--- a/cil-tools/Makefile.in
+++ b/cil-tools/Makefile.in
@@ -15,7 +15,7 @@
 # License along with this library; if not, write to the Free Software
 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA
 #
-# $Id: Makefile.in 81 2008-05-21 09:59:21Z richard.wm.jones $
+# $Id$
 
 PACKAGE                = @PACKAGE_NAME@
 VERSION                = @PACKAGE_VERSION@
@@ -26,11 +26,13 @@ OCAMLDOC    = @OCAMLDOC@
 INSTALL                = @INSTALL@
 
 OCAMLCFLAGS    = -g
-OCAMLCPACKAGES = -package unix,str,extlib,cil -I ..
-OCAMLCLIBS     = $(OCAMLCPACKAGES) -linkpkg ../bitmatch.cma
+OCAMLCPACKAGES = -package unix,str,extlib,cil -I +camlp4 -I ..
+OCAMLCLIBS     = $(OCAMLCPACKAGES) camlp4lib.cma -linkpkg ../bitmatch.cma ../bitmatch_persistent.cma
 OCAMLOPTFLAGS  =
 OCAMLOPTPACKAGES = $(OCAMLCPACKAGES)
-OCAMLOPTLIBS   = $(OCAMLOPTPACKAGES) -linkpkg ../bitmatch.cmxa
+OCAMLOPTLIBS   = $(OCAMLOPTPACKAGES) camlp4lib.cmxa -linkpkg ../bitmatch.cmxa ../bitmatch_persistent.cmxa
+
+PP             = -pp "camlp4o -I .. bitmatch.cma bitmatch_persistent.cma pa_bitmatch.cmo"
 
 OCAMLDOCFLAGS  = -html -sort
 
@@ -44,12 +46,49 @@ bitmatch-import-c.opt: bitmatch_import_c.cmx
 
 test:
 
-examples:
+# Examples.
+#
+# To compile task_struct you'll need to grab a copy of the Linux
+# kernel original header files and set the directory below.
+
+#DEBUG         =
+DEBUG          = --debug
+LINUX_HEADERS  = linux-2.6.25.7-headers
+LINUX_INCLUDES = -I $(LINUX_HEADERS)
+
+#EXAMPLES      = ext3 task_struct
+EXAMPLES       = ext3
+
+examples: $(EXAMPLES)
+
+ext3: ext3.cmo
+       $(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLCLIBS) $< -o $@
+
+ext3.cmo: ext3.ml ext3.bmpp
+       $(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLCPACKAGES) $(PP) -c $< -o $@
+
+ext3.bmpp: ext3.c bitmatch-import-c
+       rm -f $@.new
+       ./bitmatch-import-c $(DEBUG) $< > $@.new
+       mv $@.new $@
+
+task_struct: task_struct.cmo
+       $(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLCLIBS) $< -o $@
+
+task_struct.cmo: task_struct.ml task_struct.bmpp
+       $(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLCPACKAGES) $(PP) -c $< -o $@
+
+task_struct.bmpp: task_struct.c bitmatch-import-c
+       cd $(LINUX_HEADERS) && ln -sf asm-x86 asm
+       rm -f $@.new
+       ./bitmatch-import-c $(DEBUG) $(LINUX_INCLUDES) $< > $@.new
+       mv $@.new $@
 
 # Clean.
 
 clean:
-       rm -f core *~ *.cmi *.cmo *.cmx *.cma *.cmxa *.a *.o
+       rm -f core *~ *.cmi *.cmo *.cmx *.cma *.cmxa *.a *.o *.bmpp
+       rm -f bitmatch-import-c bitmatch-import-c.opt
 
 distclean: clean
 
@@ -68,7 +107,7 @@ install:
 
 depend: .depend
 
-.depend: $(wildcard *.ml) $(wildcard *.mli)
+.depend: bitmatch_import_c.ml
        rm -f .depend
        $(OCAMLFIND) ocamldep $(OCAMLCPACKAGES) $^ > $@