Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/doc/plugin_tutorial/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 239 B image not shown  

Quelle  Makefile   Sprache: unbekannt

 
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]


TUTOS:= \
  tuto0 \
  tuto1 \
  tuto2 \
  tuto3 \
  tuto4

all: $(TUTOS)

.PHONY: $(TUTOS) all

$(TUTOS): %:
 +$(MAKE) -C $@

CLEANS:=$(addsuffix -clean, $(TUTOS))
.PHONY: clean $(CLEANS)

clean: $(CLEANS)

%-clean:
 +$(MAKE) -C $* clean

[ Dauer der Verarbeitung: 0.96 Sekunden  ]