Commits

Markus Mottl committed 485d492

Fixed circular dependency bug

  • Participants
  • Parent commits 40427d5
  • Tags release-6.35.0

Comments (0)

Files changed (2)

+2012-01-30: Fixed a circular dependency bug that appeared with the newest
+            GNU make (version 3.82).
+
+            Thanks to Adrien Nader <adrien@notk.org> for the report and
+            Edward Schwartz <edmcman@cmu.edu> for the patch!
+
 2012-01-04: Fixed native code library debug build target.
 
             Thanks to Stéphane Glondu <glondu@debian.org> for the patch!
 
 %.cmi: %$(IMPL_SUF);
 
-%.cmi %.cmo %.cmx %.$(EXT_OBJ):	%.ml $(EXTRADEPS)
+%$(IMPL_SUF) %.$(EXT_OBJ):	%.ml $(EXTRADEPS)
 			$(QUIET)pp=`sed -n -e '/^#/d' -e 's/(\*pp \([^*]*\) \*)/\1/p;q' $<`; \
 			if [ -z "$$pp" ]; then \
 			  $(ECHO) $(REAL_OCAMLFIND) $(REAL_OCAMLC) $(OCAML_FIND_PACKAGES) \