]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/DEVEL/lablgtkmathview/Makefile.in
Bug fixed: the debrujinate function (hence the one to compute objects height)
[helm.git] / helm / software / DEVEL / lablgtkmathview / Makefile.in
index 26532c4a8f30ad04cbff1bf73d34b7cd91bfd79d..449c7cdfcbd98c0a4d7778c81aafceec4d4e4e1f 100644 (file)
@@ -2,6 +2,7 @@ PACKAGE = @PACKAGE@
 VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
 PROPCC = @OCAML_LIB_DIR@/lablgtk2/propcc
+NATIVE = @HAVE_OCAMLOPT@
 PREFIX = 
 OBJECTS_C = ml_gtk_mathview.o
 OBJECTS = gtkMathViewProps.cmo ogtkMathViewProps.cmo gtk_mathview.cmo gtkMathView.cmo gMathView.cmo gMathViewAux.cmo
@@ -22,7 +23,7 @@ INST =        \
 DIST_FILES = \
   Makefile.in configure.in gMathView.ml gMathView.mli  \
   gMathViewAux.ml gMathViewAux.mli gtkMathView.ml \
-  gtk_mathview.ml ml_gtk_mathview.c META.in .depend debian/ test/ \
+  gtk_mathview.ml ml_gtk_mathview.c META.in .depend test/ \
   configure gtkMathView.props
 DIST_DIR = $(PACKAGE)-$(VERSION)
 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README LICENSE
@@ -44,24 +45,30 @@ TESTDIR = ./test
 TMPDIR = .test
 TMPPKGDIR = $(TMPDIR)/$(PACKAGE)
 
+ifeq ($(NATIVE),yes)
+world: all opt
+else
+world: all
+endif
+
 all: $(ARCHIVE).cma lib$(ARCHIVE).a $(DLL)
 opt: $(ARCHIVE).cmxa $(ARCHIVE).a
 test: $(TESTDIR)/test
 test.opt: $(TESTDIR)/test.opt
-world: all opt
 
 dist:
        rm -rf $(DIST_DIR)/
        mkdir $(DIST_DIR)/
        cp -a $(DIST_FILES) $(DOC_FILES) $(DIST_DIR)/
-       -find $(DIST_DIR) -name CVS -type d -exec rm -rf {} \;
-       -find $(DIST_DIR) -name .cvsignore -type f -exec rm {} \;
+       -find $(DIST_DIR) -name .svn -type d -exec rm -rf {} \;
        tar cvfz $(DIST_DIR).tar.gz $(DIST_DIR)/
        rm -rf $(DIST_DIR)/
 
 deb: dist
        if [ -d $(DIST_DIR)/ ]; then rm -rf $(DIST_DIR); else true; fi
        tar xvzf $(DIST_DIR).tar.gz
+       ln -fs $(DIST_DIR).tar.gz $(PACKAGE)_$(VERSION).orig.tar.gz
+       svn export debian $(DIST_DIR)/debian
        (cd $(DIST_DIR)/ && debuild)
        rm -rf $(DIST_DIR)
 
@@ -112,6 +119,7 @@ install:
                        $(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a               \
                        $(DLL) $(INST) $$extra;                                 \
        else                                                                    \
+               mkdir -p $(PREFIX);                                             \
                $(OCAMLFIND) install -ldconf /def/null -destdir $(PREFIX)       \
                        $(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a               \
                        $(DLL) $(INST) $$extra;                                 \