Author: Ralf Treinen <treinen@debian.org>
Description: Compile without godi. Provide directly the include directories for
  the compiler-libs.

--- trunk~/Makefile	2007-04-01 16:43:39.000000000 +0200
+++ trunk/Makefile	2007-07-07 10:18:23.000000000 +0200
@@ -16,17 +16,15 @@
 includecore.cmo includemod.cmo parmatch.cmo typetexp.cmo stypes.cmo	\
 typecore.cmo typedecl.cmo typeclass.cmo typemod.cmo cmigrep.ml
 
-
-GODI_CONF=$(shell godi_confdir)
-GODI_BASE=$(shell cat $(GODI_CONF)/godi.conf | grep ^LOCALBASE | sed -e 's/LOCALBASE *= *//')
-GODI_LIB=$(GODI_BASE)/lib/ocaml/compiler-lib
+COMPILERLIBFLAGS=-I +compiler-libs/parsing -I +compiler-libs/typing     \
+-I +compiler-libs/utils
 
 all:
-	ocamlfind ocamlopt -o cmigrep -I $(GODI_LIB) \
+	ocamlfind ocamlopt -o cmigrep $(COMPILERLIBFLAGS) \
 	-package pcre,findlib,unix -linkpkg $(SOURCES)
 
 byte:
-	ocamlfind ocamlc -o cmigrep -I $(GODI_LIB) \
+	ocamlfind ocamlc -o cmigrep $(COMPILERLIBFLAGS) \
 	-package pcre,findlib,unix -linkpkg $(BYTESOURCES)
 
 install:
