2024-03-22 11:14:57 +01:00
|
|
|
ZIP = zip -r
|
2024-03-22 11:31:52 +01:00
|
|
|
RM = rm
|
2024-03-22 11:14:57 +01:00
|
|
|
|
2024-03-22 11:31:52 +01:00
|
|
|
IGNORE = "*/build/*" "*/.gradle/*" "*/.idea/*" "*/local.properties" "*/*.pdf" \
|
|
|
|
|
"*/*.out"
|
2024-03-22 11:14:57 +01:00
|
|
|
|
2024-03-22 11:31:52 +01:00
|
|
|
all: help
|
2024-03-22 11:14:57 +01:00
|
|
|
|
|
|
|
|
help:
|
|
|
|
|
@echo "make archive"
|
|
|
|
|
@echo " -> Compresse tout les TP"
|
|
|
|
|
@echo ""
|
|
|
|
|
@echo "make archive10"
|
|
|
|
|
@echo " -> Compresse le TP 10"
|
|
|
|
|
|
|
|
|
|
archive%:
|
|
|
|
|
$(ZIP) "TP$(*).zip" "TP$(*)" -x $(IGNORE)
|
|
|
|
|
|
|
|
|
|
archive:
|
|
|
|
|
$(ZIP) "TPs.zip" TP* -x $(IGNORE)
|
