]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtksourceview/Makefile.in
This commit fixes matitatop that was no longer working without arguments.
[helm.git] / helm / DEVEL / lablgtksourceview / Makefile.in
1 PACKAGE = @PACKAGE@
2 VERSION = @VERSION@
3 INCLUDEDIR = @OCAML_INCLUDE_DIR@
4 PROPCC = @OCAML_LIB_DIR@/lablgtk2/propcc
5 DESTDIR = 
6 NULL =
7 C_OBJECTS = ml_gtk_sourceview.o
8 ML_OBJECTS =    \
9         gtkSourceViewProps.cmo  \
10         ogtkSourceViewProps.cmo \
11         gtk_sourceview.cmo      \
12         gtkSourceView.cmo       \
13         gSourceView.cmo         \
14         $(NULL)
15 ML_OBJECTS_OPT = $(patsubst %.cmo,%.cmx,$(ML_OBJECTS))
16 GENERATED_FILES = gtkSourceViewProps.ml ogtkSourceViewProps.ml
17 EXTRA_INST =    \
18         META                    \
19         gSourceView.mli         \
20         gSourceView.cmi         \
21         gtkSourceView.cmi       \
22         gtk_sourceview.cmi      \
23         $(NULL)
24 DIST_FILES =    \
25         Makefile.in             \
26         configure               \
27         gSourceView.ml          \
28         gSourceView.mli         \
29         gtkSourceView.ml        \
30         gtk_sourceview.ml       \
31         ml_gtk_sourceview.c     \
32         META.in                 \
33         .depend                 \
34         debian/                 \
35         test/                   \
36         gtkSourceView.props     \
37         $(NULL)
38 DIST_DIR = $(PACKAGE)-$(VERSION)
39 EXTRA_DIST = ACKNOWLEDGEMENTS AUTHORS CHANGES COPYING LICENSE NEWS README
40 REQUIRES = lablgtk2
41 SHARED_LIBS = @GTKSOURCEVIEW_LIBS@
42 OCAMLFIND = ocamlfind
43 OCAMLC = $(OCAMLFIND) ocamlc -package "$(REQUIRES)"
44 OCAMLOPT = $(OCAMLFIND) ocamlopt -package "$(REQUIRES)"
45 OCAMLDEP = ocamldep
46 OCAMLMKLIB = ocamlmklib
47 OCAML_STUB_DIR = @OCAML_STUB_DIR@
48 ARCHIVE = $(PACKAGE)
49 DLL = dll$(ARCHIVE).so
50 NATIVE = @HAVE_OCAMLOPT@
51 TESTDIR = test
52 BYTE_INST = $(ARCHIVE).cma lib$(ARCHIVE).a $(C_OBJECTS) $(DLL)
53 OPT_INST = $(BYTE_INST) $(ARCHIVE).cmxa $(ARCHIVE).a
54
55 ifeq ($(NATIVE),yes)
56 world: all opt
57 else
58 world: all
59 endif
60
61 all: $(ARCHIVE).cma lib$(ARCHIVE).a $(DLL) $(TESTDIR)/test
62 opt: $(ARCHIVE).cmxa $(ARCHIVE).a $(TESTDIR)/test.opt
63
64 test/test.opt:
65         $(MAKE) -C $(TESTDIR) test.opt
66 test/test:
67         $(MAKE) -C $(TESTDIR) test
68
69 dist: distclean
70         rm -rf $(DIST_DIR)/
71         mkdir -p $(DIST_DIR)/
72         cp -a $(DIST_FILES) $(EXTRA_DIST) $(DIST_DIR)/
73         -find $(DIST_DIR) -name CVS -type d -exec rm -rf {} \;
74         -find $(DIST_DIR) -name .cvsignore -type f -exec rm {} \;
75         tar cvfz $(DIST_DIR).tar.gz $(DIST_DIR)/
76         rm -rf $(DIST_DIR)/
77
78 deb: dist
79         rm -rf $(DIST_DIR)
80         tar xvzf $(DIST_DIR).tar.gz
81         (cd $(DIST_DIR)/ && debuild)
82         rm -rf $(DIST_DIR)
83
84 ml_gtk_sourceview.o: ml_gtk_sourceview.c
85         gcc -c -I$(INCLUDEDIR) -fPIC `$(OCAMLFIND) query -i-format lablgtk2` @GTKSOURCEVIEW_CFLAGS@ $<
86
87 %.cmo: %.ml
88         $(OCAMLC) -c $<
89 %.cmi: %.mli
90         $(OCAMLC) -c $<
91 %.cmx: %.ml
92         $(OCAMLOPT) -c $<
93
94 $(GENERATED_FILES): gtkSourceView.props
95 %Props.ml o%Props.ml: %.props
96         $(PROPCC) $<
97
98 depend: *.ml *.mli $(GENERATED_FILES)
99         $(OCAMLDEP) *.ml *.mli >.depend
100 include .depend
101
102 $(ARCHIVE).cma: $(ML_OBJECTS)
103         $(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
104 $(ARCHIVE).cmxa: $(ML_OBJECTS_OPT)
105         $(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
106 lib$(ARCHIVE).a $(DLL): $(C_OBJECTS)
107         $(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
108
109 ifeq ($(DESTDIR),"")
110 INSTALLER = $(OCAMLFIND) install -ldconf /dev/null
111 UNINSTALLER = $(OCAMLFIND) remove -ldconf /dev/null
112 else
113 INSTALLER = $(OCAMLFIND) install -destdir $(DESTDIR) -ldconf /dev/null
114 UNINSTALLER = $(OCAMLFIND) remove -destdir $(DESTDIR) -ldconf /dev/null
115 install: world installmkdir
116 endif
117
118 ifeq ($(NATIVE),yes)
119 install: installworld
120 else
121 install: installbyte
122 endif
123
124 installbyte:
125         $(INSTALLER) $(PACKAGE) $(BYTE_INST) $(EXTRA_INST)
126 installworld:
127         $(INSTALLER) $(PACKAGE) $(OPT_INST) $(EXTRA_INST)
128
129 installmkdir:
130         mkdir -p $(DESTDIR)
131
132 uninstall:
133         $(UNINSTALLER) $(PACKAGE)
134
135 clean:
136         rm -f *.[ao] *.cm[iaxo] *.cmxa *.so $(GENERATED_FILES)
137         make -C $(TESTDIR) clean
138
139 distclean: clean
140         rm -f config.log config.cache config.status Makefile META
141         make -C $(TESTDIR) distclean
142
143 .PHONY: world uninstall clean distclean test/test test/test.opt
144 .PHONY: install installmkdir installbyte installworld
145