--- 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 \