--- Makefile 2011-09-14 11:58:53.890175179 +0400
+++ Makefile 2011-09-14 11:58:58.043562033 +0400
@@ -80,11 +81,7 @@
$(PATH_BUILD)/src/extensions/$(PROJECT_NAME)Nums.cm* \
$(PATH_BUILD)/src/extensions/$(PROJECT_NAME)Nums.o \
$(PATH_BUILD)/src/extensions/$(PROJECT_NAME)Nums.jo \
- $(PATH_BUILD)/$(PROJECT_NAME).a \
- $(PATH_BUILD)/$(PROJECT_NAME).cma \
- $(PATH_BUILD)/$(PROJECT_NAME).cmxa \
- $(PATH_BUILD)/$(PROJECT_NAME).cmja \
- $(PATH_BUILD)/$(PROJECT_NAME).ja; \
+ $(PATH_BUILD)/$(PROJECT_NAME).{a,cma,cmi,cmxa,cmja,ja}; \
else \
mkdir -p $(PATH_INSTALL); \
for ext in cmi cmo cmx o cmj jo; do \