From: Enrico Tassi Date: Sat, 15 Nov 2008 13:21:48 +0000 (+0000) Subject: make all/clean implemented X-Git-Tag: make_still_working~4558 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ff6a1396270493dcf0e1f673f32a8213a8ce3751;p=helm.git make all/clean implemented --- diff --git a/helm/software/matita/library/didactic/exercises/Makefile b/helm/software/matita/library/didactic/exercises/Makefile index d31ab5525..4fbbbaad8 100644 --- a/helm/software/matita/library/didactic/exercises/Makefile +++ b/helm/software/matita/library/didactic/exercises/Makefile @@ -1,22 +1,13 @@ -include ../Makefile.defs -DIR=$(shell basename $$PWD) +all: + for X in *.ma; do $(MAKE) exercise-$$X; done -$(DIR) all: - $(BIN)matitac -$(DIR).opt opt all.opt: - $(BIN)matitac.opt clean: - $(BIN)matitaclean -clean.opt: - $(BIN)matitaclean.opt -depend: - $(BIN)matitadep -dot && rm depends.dot -depend.opt: - $(BIN)matitadep.opt -dot && rm depends.dot -exercise-%: % + rm exercise-* + +exercise-%.ma: %.ma cp $< $@ perl -ne 'undef $$/;s/\(\*BEGIN.*?END\*\)/…/msg;print' -i $@ perl -ne 'undef $$/;s/\(\*DOCBEGIN.*?DOCEND\*\)//msg;print' -i $@ - (echo ''; awk 'BEGIN { p = 0; } /DOCEND/ { p = 0; } { if (p == 1) print $$0; } /DOCBEGIN/ { p = 1;}' < $< | markdown; echo '') > $@.html + (echo ''; awk 'BEGIN { p = 0; } /DOCEND/ { p = 0; } { if (p == 1) print $$0; } /DOCBEGIN/ { p = 1;}' < $< | markdown; echo '') > exercise-$*.html diff --git a/helm/software/matita/library/didactic/exercises/duality.ma b/helm/software/matita/library/didactic/exercises/duality.ma index c04859bd1..ea3a987d3 100644 --- a/helm/software/matita/library/didactic/exercises/duality.ma +++ b/helm/software/matita/library/didactic/exercises/duality.ma @@ -1,11 +1,3 @@ -(* Esercitazione di logica 29/10/2008. - - Note per gli esercizi: - - http://www.cs.unibo.it/~tassi/exercise-duality.ma.html - -*) - (* Esercizio 0 =========== diff --git a/helm/software/matita/library/didactic/exercises/shannon.ma b/helm/software/matita/library/didactic/exercises/shannon.ma index f708c19ba..f0a191729 100644 --- a/helm/software/matita/library/didactic/exercises/shannon.ma +++ b/helm/software/matita/library/didactic/exercises/shannon.ma @@ -1,19 +1,3 @@ -(* Esercizio -1 - ============ - - 1. Leggere ATTENTAMENTE, e magari stampare, la documentazione - reperibile all'URL seguente: - - http://mowgli.cs.unibo.it/~tassi/exercise-shannon.ma.html - - 2. Questa volta si fa sul serio: - - l'esercizio proposto è MOLTO difficile, occorre la vostra massima - concentrazione (leggi: niente cut&paste selvaggio) - -*) - - (* Esercizio 0 =========== diff --git a/helm/software/matita/library/didactic/exercises/substitution.ma b/helm/software/matita/library/didactic/exercises/substitution.ma index c4335ca3e..096b5b84c 100644 --- a/helm/software/matita/library/didactic/exercises/substitution.ma +++ b/helm/software/matita/library/didactic/exercises/substitution.ma @@ -1,17 +1,3 @@ -(* Esercitazione di logica 22/10/2008. *) - -(* Nota per gli studenti - ===================== - - * La lezione del pomeriggio con il Prof. Sacerdoti si terrà in aula - Pinkerle e non Cremona. - - * Un piccolo manuale sul software Matita è disponibile al seguente URL: - - http://mowgli.cs.unibo.it/~tassi/exercise-induction.ma.html - -*) - (* Esercizio 0 ===========