]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/Makefile.in
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtkmathview / Makefile.in
1 PACKAGE = @PACKAGE@
2 VERSION = @VERSION@
3 INCLUDEDIR = @OCAML_INCLUDE_DIR@
4 PREFIX = 
5 OBJECTS_C = ml_gtk_mathview.o
6 OBJECTS =  gtk_mathview.cmo gtkMathView.cmo gMathView.cmo gMathViewAux.cmo
7 OBJECTS_OPT = gtkMathView.cmx gtk_mathview.cmx gMathView.cmx gMathViewAux.cmx
8 INST =  \
9         META gMathView.mli gMathView.cmi gtkMathView.cmi gtk_mathview.cmi       \
10         gMathViewAux.cmi gMathViewAux.mli
11 DIST_FILES = \
12   Makefile.in configure.in gMathView.ml gMathView.mli   \
13   gMathViewAux.ml gMathViewAux.mli gtkMathView.ml \
14   gtk_mathview.ml ml_gtk_mathview.c META.in .depend debian/ test/ \
15   configure lablgtkmathview.spec lablgtkmathview.spec.in
16 DIST_DIR = $(PACKAGE)-$(VERSION)
17 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README LICENSE
18 REQUIRES = gdome2 lablgtk
19 PREDICATES =
20 SHARED_LIBS = @GDOME_LIBS@ @GTKMATHVIEW_LIBS@ -lmlgdome
21
22 OCAMLFIND = ocamlfind
23 OCAMLC = $(OCAMLFIND) ocamlc
24 OCAMLOPT = $(OCAMLFIND) ocamlopt
25 OCAMLDEP = ocamldep
26 OCAMLMKLIB = ocamlmklib
27 OCAML_STUB_DIR = @OCAML_STUB_DIR@
28
29 ARCHIVE = $(PACKAGE)
30 DLL = dll$(ARCHIVE).so
31
32 TESTDIR = ./test
33 TMPDIR = .test
34 TMPPKGDIR = $(TMPDIR)/$(PACKAGE)
35
36 all: $(ARCHIVE).cma
37 opt: $(ARCHIVE).cmxa
38 test: $(TESTDIR)/test
39 test.opt: $(TESTDIR)/test.opt
40 world: all opt
41
42 dist:
43         rm -rf $(DIST_DIR)/
44         mkdir $(DIST_DIR)/
45         cp -a $(DIST_FILES) $(DOC_FILES) $(DIST_DIR)/
46         -find $(DIST_DIR) -name CVS -type d -exec rm -rf {} \;
47         -find $(DIST_DIR) -name .cvsignore -type f -exec rm {} \;
48         tar cvfz $(DIST_DIR).tar.gz $(DIST_DIR)/
49         rm -rf $(DIST_DIR)/
50
51 deb: dist
52         if [ -d $(DIST_DIR)/ ]; then rm -rf $(DIST_DIR); else true; fi
53         tar xvzf $(DIST_DIR).tar.gz
54         (cd $(DIST_DIR)/ && debuild)
55         rm -rf $(DIST_DIR)
56
57 ml_gtk_mathview.o: ml_gtk_mathview.c
58         gcc -c -I$(INCLUDEDIR) -fPIC `ocamlfind query -i-format lablgtk` @GTKMATHVIEW_CFLAGS@ @GDOME_CFLAGS@ `ocamlfind query -i-format gdome2` $<
59
60 .SUFFIXES: .cmo .cmi .cmx .ml .mli
61
62 .ml.cmo:
63         $(OCAMLC) -package "$(REQUIRES)" -predicates "$(PREDICATES)" -c $<
64 .mli.cmi:
65         $(OCAMLC) -package "$(REQUIRES)" -predicates "$(PREDICATES)" -c $<
66 .ml.cmx:
67         $(OCAMLOPT) -package "$(REQUIRES)" -predicates "$(PREDICATES)" -c $<
68
69 depend: *.ml *.mli
70         $(OCAMLDEP) *.ml *.mli >.depend
71 include .depend
72
73 $(ARCHIVE).cma $(DLL): $(OBJECTS) $(OBJECTS_C)
74         $(OCAMLMKLIB) -o $(ARCHIVE) -L$(OCAML_STUB_DIR) $^ $(SHARED_LIBS)
75 $(ARCHIVE).cmxa $(ARCHIVE).a: $(OBJECTS_OPT)
76         $(OCAMLMKLIB) -o $(ARCHIVE) -L$(OCAML_STUB_DIR) $^ $(OBJECTS_C) $(SHARED_LIBS)
77
78 $(TESTDIR)/test: $(OBJECTS_C) $(ARCHIVE).cma $(TESTDIR)/test.ml
79         mkdir -p $(TMPPKGDIR)
80         cp $(OBJECTS_C) $(DLL) $(ARCHIVE).cma $(INST) $(TMPPKGDIR)
81         cd $(TESTDIR) ; export OCAMLPATH=../$(TMPDIR):$$OCAMLPATH ; make
82         rm -r $(TMPDIR)
83
84 $(TESTDIR)/test.opt: $(OBJECTS_C) $(ARCHIVE).a $(ARCHIVE).cmxa $(TESTDIR)/test.ml
85         mkdir -p $(TMPPKGDIR)
86         cp $(OBJECTS_C) $(ARCHIVE).a $(ARCHIVE).cmxa $(INST) $(TMPPKGDIR)
87         cd $(TESTDIR) ; export OCAMLPATH=../$(TMPDIR):$$OCAMLPATH ; make opt
88         rm -r $(TMPDIR)
89
90 install:
91         test ! -f $(ARCHIVE).cmxa || extra="$(ARCHIVE).a $(ARCHIVE).cmxa" ; \
92         if [ "$(PREFIX)" = "" ]; then \
93                 $(OCAMLFIND) install    \
94                         $(PACKAGE) $(OBJECTS_C) $(ARCHIVE).cma $(DLL) $(INST) $$extra;  \
95                 ln -fs $(DLL) $(shell $(OCAMLFIND) printconf destdir)/stublibs/lib$(ARCHIVE).so;        \
96         else \
97                 $(OCAMLFIND) install -destdir $(PREFIX) \
98                         $(PACKAGE) $(OBJECTS_C) $(ARCHIVE).cma $(DLL) $(INST) $$extra; \
99                 ln -fs $(DLL) $(PREFIX)/stublibs/lib$(ARCHIVE).so;      \
100         fi
101
102 uninstall:
103         if [ "$(PREFIX)" = "" ]; then \
104                 ocamlfind remove $(PACKAGE); \
105         else \
106                 ocamlfind remove -destdir $(PREFIX) $(PACKAGE); \
107         fi
108
109 clean:
110         rm -f *.[ao] *.cm[iaxo] *.cmxa *.so
111         cd $(TESTDIR) ; make clean
112         rm -rf $(TMPDIR)
113
114 distclean: clean
115         rm -f config.log config.cache config.status Makefile META lablgtkmathview.spec
116         cd $(TESTDIR) ; make distclean