Tree - rpms/coq - src.fedoraproject.org

Blob History Raw

		09b853b	`--- Makefile.build 2010-09-30 10:50:00.000000000 -0600`
		09b853b	`+++ Makefile.build 2011-03-29 15:02:35.454388178 -0600`
		09b853b	`@@ -670,13 +670,13 @@`
		09b853b	`## In other words, the Byte-only code doesn't import a new module.`
		09b853b	`toplevel/mltop.byteml: toplevel/mltop.ml4 config/Makefile # no camlp4deps here`
		09b853b	`$(SHOW)'CAMLP4O $<'`
		09b853b	- $(HIDE)$(CAMLP4O) $(CAMLP4EXTENDFLAGS) pr_o.cmo `$(CAMLP4USE) $<` \
		09b853b	+ $(HIDE)$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4USE) $<` \
		09b853b	`-DByte -DHasDynlink -impl $< > $@ \`
		09b853b	`\|\| ( RV=$$?; rm -f "$@"; exit $${RV} )`
		09b853b
		09b853b	`toplevel/mltop.optml: toplevel/mltop.ml4 config/Makefile # no camlp4deps here`
		09b853b	`$(SHOW)'CAMLP4O $<'`
		09b853b	- $(HIDE)$(CAMLP4O) $(CAMLP4EXTENDFLAGS) pr_o.cmo `$(CAMLP4USE) $<` \
		09b853b	+ $(HIDE)$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4USE) $<` \
		09b853b	`$(NATDYNLINKDEF) -impl $< > $@ \`
		09b853b	`\|\| ( RV=$$?; rm -f "$@"; exit $${RV} )`
		09b853b