X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2FMakefile.in;h=19dc0d19d71c18b2c0286d4070622a5713f091b5;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=12dbc472ae10e0202b6af9bc1577e50c21b35f86;hpb=5abf4df5707dd66f6ff9a46d11ceb109f248120f;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/Makefile.in b/helm/DEVEL/lablgtksourceview/Makefile.in
index 12dbc472a..19dc0d19d 100644
--- a/helm/DEVEL/lablgtksourceview/Makefile.in
+++ b/helm/DEVEL/lablgtksourceview/Makefile.in
@@ -49,8 +49,8 @@ ARCHIVE = $(PACKAGE)
 DLL = dll$(ARCHIVE).so
 NATIVE = @HAVE_OCAMLOPT@
 TESTDIR = test
-BYTE_INST = $(ARCHIVE).cma $(C_OBJECTS) $(DLL)
-OPT_INST = $(BYTE_INST) $(ARCHIVE).a $(ARCHIVE).cmxa
+BYTE_INST = $(ARCHIVE).cma lib$(ARCHIVE).a $(C_OBJECTS) $(DLL)
+OPT_INST = $(BYTE_INST) $(ARCHIVE).cmxa $(ARCHIVE).a
 
 ifeq ($(NATIVE),yes)
 world: all opt
@@ -58,15 +58,15 @@ else
 world: all
 endif
 
-all: $(ARCHIVE).cma $(TESTDIR)/test
-opt: $(ARCHIVE).cmxa $(TESTDIR)/test.opt
+all: $(ARCHIVE).cma lib$(ARCHIVE).a $(DLL) $(TESTDIR)/test
+opt: $(ARCHIVE).cmxa $(ARCHIVE).a $(TESTDIR)/test.opt
 
 test/test.opt:
 	$(MAKE) -C $(TESTDIR) test.opt
 test/test:
 	$(MAKE) -C $(TESTDIR) test
 
-dist:
+dist: distclean
 	rm -rf $(DIST_DIR)/
 	mkdir -p $(DIST_DIR)/
 	cp -a $(DIST_FILES) $(EXTRA_DIST) $(DIST_DIR)/
@@ -82,7 +82,7 @@ deb: dist
 	rm -rf $(DIST_DIR)
 
 ml_gtk_sourceview.o: ml_gtk_sourceview.c
-	gcc -c -I$(INCLUDEDIR) -fPIC `ocamlfind query -i-format lablgtk2` @GTKSOURCEVIEW_CFLAGS@ $<
+	gcc -c -I$(INCLUDEDIR) -fPIC `$(OCAMLFIND) query -i-format lablgtk2` @GTKSOURCEVIEW_CFLAGS@ $<
 
 %.cmo: %.ml
 	$(OCAMLC) -c $<
@@ -99,10 +99,12 @@ depend: *.ml *.mli $(GENERATED_FILES)
 	$(OCAMLDEP) *.ml *.mli >.depend
 include .depend
 
-$(ARCHIVE).cma $(DLL): $(ML_OBJECTS) $(C_OBJECTS)
-	$(OCAMLMKLIB) -o $(ARCHIVE) -L$(OCAML_STUB_DIR) $^ $(SHARED_LIBS)
-$(ARCHIVE).cmxa $(ARCHIVE).a: $(ML_OBJECTS_OPT)
-	$(OCAMLMKLIB) -o $(ARCHIVE) -L$(OCAML_STUB_DIR) $^ $(C_OBJECTS) $(SHARED_LIBS)
+$(ARCHIVE).cma: $(ML_OBJECTS)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
+$(ARCHIVE).cmxa: $(ML_OBJECTS_OPT)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
+lib$(ARCHIVE).a $(DLL): $(C_OBJECTS)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
 
 ifeq ($(DESTDIR),"")
 INSTALLER = $(OCAMLFIND) install -ldconf /dev/null
@@ -110,9 +112,7 @@ UNINSTALLER = $(OCAMLFIND) remove -ldconf /dev/null
 else
 INSTALLER = $(OCAMLFIND) install -destdir $(DESTDIR) -ldconf /dev/null
 UNINSTALLER = $(OCAMLFIND) remove -destdir $(DESTDIR) -ldconf /dev/null
-install: installmkdir
-installmkdir:
-	mkdir -p $(DESTDIR)
+install: world installmkdir
 endif
 
 ifeq ($(NATIVE),yes)
@@ -126,6 +126,9 @@ installbyte:
 installworld:
 	$(INSTALLER) $(PACKAGE) $(OPT_INST) $(EXTRA_INST)
 
+installmkdir:
+	mkdir -p $(DESTDIR)
+
 uninstall:
 	$(UNINSTALLER) $(PACKAGE)