X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FMakefile.in;h=ab9224ae8a39e868ed5bd71d24571c544476d737;hb=56b68e877e6eb517c3efba7d9485947e940f7785;hp=7b140e0f3a7fbaf07bae2fb943d2ebb98fb1cf0f;hpb=b689a2381eedeadd6a23f74348b4322c5f0085d6;p=helm.git diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in index 7b140e0f3..ab9224ae8 100644 --- a/helm/DEVEL/lablgtkmathview/Makefile.in +++ b/helm/DEVEL/lablgtkmathview/Makefile.in @@ -103,7 +103,11 @@ install: fi uninstall: - ocamlfind remove $(PACKAGE) + if [ "$(PREFIX)" = "" ]; then \ + ocamlfind remove $(PACKAGE); \ + else \ + ocamlfind remove -destdir $(PREFIX) $(PACKAGE); \ + fi clean: rm -f *.[ao] *.cm[iaxo] *.cmxa *.so