+
+ifeq ($(MAKECMDGOALS), all)
+ $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
+endif
+
+ifeq ($(MAKECMDGOALS), opt)
+ $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT)
+endif
+
+ifeq ($(MAKECMDGOALS),)
+ $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
+endif