-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 '<?xml version="1.0" encoding="UTF-8"?><html><head></meta http-equiv="Content-Type" content="text/html; charset=utf-8"><style type="text/css">pre, code { font-family: Sans; font-size: 1em; background-color:#efee79; } pre { margin-right: 5em;}</style></head><body>'; awk 'BEGIN { p = 0; } /DOCEND/ { p = 0; } { if (p == 1) print $$0; } /DOCBEGIN/ { p = 1;}' < $< | markdown; echo '</body></html>') > $@.html
+ (echo '<?xml version="1.0" encoding="UTF-8"?><html><head></meta http-equiv="Content-Type" content="text/html; charset=utf-8"><style type="text/css">pre, code { font-family: Sans; font-size: 1em; background-color:#efee79; } pre { margin-right: 5em;}</style></head><body>'; awk 'BEGIN { p = 0; } /DOCEND/ { p = 0; } { if (p == 1) print $$0; } /DOCBEGIN/ { p = 1;}' < $< | markdown; echo '</body></html>') > exercise-$*.html
-(* Esercitazione di logica 29/10/2008.
-
- Note per gli esercizi:
-
- http://www.cs.unibo.it/~tassi/exercise-duality.ma.html
-
-*)
-
(* Esercizio 0
===========
-(* 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
===========
-(* 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
===========
projects / helm.git / commitdiff