2022-07-04 13:49:43 +02:00
|
|
|
phase = 05
|
|
|
|
|
version = 1
|
|
|
|
|
name = MichaelChen
|
|
|
|
|
|
|
|
|
|
solutionname = Solution_Phase$(phase)_$(name)
|
|
|
|
|
target = $(solutionname)_V$(version).zip
|
2022-07-14 13:47:30 +02:00
|
|
|
package = $(solutionname).pdf Duration.java DurationTest.java build.xml mutation_test.bat mutants.txt Mutation_Testing_Sample_Model.xml
|
2022-07-04 13:49:43 +02:00
|
|
|
latexmkflags =
|
|
|
|
|
|
|
|
|
|
.PHONY : all dev
|
|
|
|
|
|
|
|
|
|
all : $(target)
|
|
|
|
|
|
2022-07-04 16:05:32 +02:00
|
|
|
dev : latexmkflags = -pvc -interaction=nonstopmode
|
2022-07-04 13:49:43 +02:00
|
|
|
dev : all
|
|
|
|
|
|
|
|
|
|
$(target) : $(package)
|
|
|
|
|
zip -FSr $(target) $(package)
|
|
|
|
|
|
|
|
|
|
%.pdf : %.tex
|
|
|
|
|
latexmk -jobname="$*" $(latexmkflags) -pdf $<
|
