--- Makefile.distrib	2007/07/10 18:24:09	1122
+++ Makefile.distrib	2007/07/10 18:24:57	1136
@@ -110,7 +110,10 @@
 
 ifneq ($(ML_INTERFACE), false)
 install_cdml:
-	ocamlfind install cduce META cdml.$(EXTENSION_LIB) cdo2cmo/cdml.cmi cDuce_all.cmi oCaml_all.$(EXTENSION_LIB) oCaml_all.cmi
+	$(OCAMLFIND) install cduce META \
+         cdml.$(EXTENSION_LIB) cdo2cmo/cdml.cmi \
+         cDuce_all.cmi oCaml_all.$(EXTENSION_LIB) \
+         $(wildcard *.a) oCaml_all.cmi
 endif
 
 uninstall: