X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FMakefile.in;h=61d4a106dd60122f8299cd5c0b32ce35de773429;hb=cf497123176d912bdef9baa16c25ace0ad9477fe;hp=991ca44e3480d26088ce6cdbc3680922885a4bd2;hpb=ab01d2376ccfda0f367f6d78997b7f7d55e5b0d5;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index 991ca44e3..61d4a106d 100644
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -64,11 +64,10 @@ $(ARCHIVE): $(OBJECTS) $(ARCHIVE_SO)
         -predicates "$(PREDICATES)" -o $@ $^ \
         -cclib "`glib-config --libs` `gdome-config --libs` `gtkmathview-config --libs`" -dllib -l$(PACKAGE)
 $(ARCHIVE_OPT) $(ARCHIVE_A): $(OBJECTS_OPT)
-	INSTPATH=`ocamlfind query gdome2` ; \
 	$(OCAMLOPT) -a -package "$(REQUIRES)" \
         -predicates "$(PREDICATES)" -o $@ $^ \
         -cclib "`glib-config --libs` `gdome-config --libs` `gtkmathview-config --libs`" \
-        -cclib "`echo $$INSTPATH | sed "s/\\(.*\\)\\/gdome2/\\1/"`/$(PACKAGE)/$(ARCHIVE_SO)"
+		-cclib "@OCAML_LIB_DIR@/stublibs/$(ARCHIVE_SO)"
 
 $(ARCHIVE_SO): $(OBJECTS_C)
 	gcc -shared -o $@ $< `gtkmathview-config --libs` -lmlgdome -L `ocamlfind query gdome2` -Xlinker -rpath -Xlinker `ocamlfind query gdome2`