products/Sources/formale Sprachen/Coq/doc/plugin_tutorial/tuto1/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Makefile   Sprache: Unknown

ifeq "$(COQBIN)" ""
  COQBIN=$(dir $(shell which coqtop))/
endif

%: Makefile.coq

Makefile.coq: _CoqProject
 $(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq

tests: all
 @$(MAKE) -C tests -s clean
 @$(MAKE) -C tests -s all

-include Makefile.coq

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]