From ff6a1396270493dcf0e1f673f32a8213a8ce3751 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 15 Nov 2008 13:21:48 +0000 Subject: [PATCH] make all/clean implemented --- .../library/didactic/exercises/Makefile | 21 ++++++------------- .../library/didactic/exercises/duality.ma | 8 ------- .../library/didactic/exercises/shannon.ma | 16 -------------- .../didactic/exercises/substitution.ma | 14 ------------- 4 files changed, 6 insertions(+), 53 deletions(-) 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 =========== -- 2.39.2