Tree - rpms/coq - src.fedoraproject.org

Blob History Raw

		4738b78	`--- Makefile.build 2009-02-17 11:14:07.000000000 -0500`
		4738b78	`+++ Makefile.build 2009-04-08 07:47:41.000000000 -0400`
		4738b78	`@@ -468,6 +468,7 @@`
		4738b78	`bin/coq-interface.opt$(EXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(INTERFACECMX)`
		4738b78	`$(SHOW)'COQMKTOP -o $@'`
		4738b78	`$(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) -o $@ $(INTERFACECMX)`
		4738b78	`+ $(STRIP) $@`
		4738b78
		4738b78	`bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO)`
		4738b78	`$(SHOW)'OCAMLC -o $@'`
		4738b78	`@@ -478,6 +479,7 @@`
		4738b78	`$(SHOW)'OCAMLOPT -o $@'`
		4738b78	`$(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \`
		4738b78	`$(LIBCOQRUN) $(DYNLINKCMXA) str.cmxa nums.cmxa $(CMXA) $(PARSERCMX)`
		4738b78	`+ $(STRIP) $@`
		4738b78
		4738b78	`pcoq-files:: $(INTERFACEVO) $(INTERFACERC)`
		4738b78