Permalink
Browse files

[fix] Makefile: quick-fix: manually remove missing cmi

  • Loading branch information...
1 parent 4a786b0 commit 8b622a826377285a0cb8ed0a74d2e44b384a2d0c @Aqua-Ye Aqua-Ye committed Jul 30, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 Makefile
View
@@ -223,6 +223,7 @@ install-bin:
install-lib:
@printf "Installing into $(INSTALL_DIR)/lib/opa\r"
+ @rm -f $(BUILD_DIR)/lib/opa/static/opabslMLRuntime.cmi
@mkdir -p $(INSTALL_DIR)/lib/opa
@$(if $(wildcard $(BUILD_DIR)/lib/opa/*),$(INSTALL) -r $(BUILD_DIR)/lib/opa/* $(INSTALL_DIR)/lib/opa/)
@printf "Installation to $(INSTALL_DIR)/lib/opa done.\n"

0 comments on commit 8b622a8

Please sign in to comment.