]> matita.cs.unibo.it Git - helm.git/commitdiff
finally we understood how to properly link ocaml bindings ....
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 13:29:06 +0000 (13:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 13:29:06 +0000 (13:29 +0000)
helm/DEVEL/lablgtksourceview/Makefile.in

index 4c8ecc588b07a8275ff8ca9a7eedc8a3fb708d3f..19dc0d19d71c18b2c0286d4070622a5713f091b5 100644 (file)
@@ -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,8 +58,8 @@ 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
@@ -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)