Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- --- 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 \
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement