X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Flablgtkmathview%2FMakefile.in;h=788b171ea4675ddb9c05ebd95652d5ba93b68522;hb=9720172d593b7bc44a655f7dd52e5c0699461c76;hp=26532c4a8f30ad04cbff1bf73d34b7cd91bfd79d;hpb=d17988855a2e85dc2db641d11ce481c266038ef3;p=helm.git

diff --git a/DEVEL/lablgtkmathview/Makefile.in b/DEVEL/lablgtkmathview/Makefile.in
index 26532c4a8..788b171ea 100644
--- a/DEVEL/lablgtkmathview/Makefile.in
+++ b/DEVEL/lablgtkmathview/Makefile.in
@@ -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
@@ -44,18 +45,22 @@ 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)/
 
@@ -112,6 +117,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;					\