29 lines
678 B
Diff
29 lines
678 B
Diff
--- a/tools/introspection/Makefile
|
|
+++ b/tools/introspection/Makefile
|
|
@@ -1,12 +1,12 @@
|
|
OCAMLC=ocamlc
|
|
OPT=-g -dtypes
|
|
-INCLUDES= -I xml-light xml-light.cma
|
|
+INCLUDES= -I +xml-light
|
|
GIRA=/usr/share/gir-1.0/Gtk-3.0.gir
|
|
GIR=Gtk-3.0
|
|
|
|
all: high check
|
|
|
|
-extract_stubs: extract_prototype.ml xml-light/xml-light.cma
|
|
+extract_stubs: extract_prototype.ml
|
|
$(OCAMLC) $(OPT) $(INCLUDES) -o $@ $^
|
|
|
|
test: extract_stubs
|
|
@@ -17,10 +17,6 @@ check: test
|
|
|
|
clean:
|
|
rm -f extract_stubs *.annot extract_prototype.cm* ml_stubs.c stubs.ml
|
|
- $(MAKE) -C xml-light clean
|
|
-
|
|
-xml-light/xml-light.cma:
|
|
- $(MAKE) -C xml-light
|
|
|
|
################################################################
|
|
|