2022-05-04 19:06:20 +02:00
|
|
|
phase = 02
|
|
|
|
|
version = 1
|
|
|
|
|
name = MichaelChen
|
|
|
|
|
|
|
|
|
|
solutionname = Solution_Phase$(phase)_$(name)
|
|
|
|
|
target = $(solutionname)_V$(version).zip
|
2022-05-04 23:56:21 +02:00
|
|
|
package = $(solutionname).pdf Phase02_Task2_ACTS_System.txt Phase02_Task2_ACTS_System.result.txt JSONScannerTest.java
|
2022-05-04 19:06:20 +02:00
|
|
|
latexmkflags =
|
2022-05-04 21:48:33 +02:00
|
|
|
actspath = "C:\\Program Files (x86)\\ACTS\\acts_3.2.jar"
|
2022-05-04 19:06:20 +02:00
|
|
|
|
|
|
|
|
.PHONY : all dev
|
|
|
|
|
|
|
|
|
|
all : $(target)
|
|
|
|
|
|
|
|
|
|
dev : latexmkflags = -pvc
|
|
|
|
|
dev : all
|
|
|
|
|
|
|
|
|
|
$(target) : $(package)
|
|
|
|
|
zip -FSr $(target) $(package)
|
|
|
|
|
|
|
|
|
|
%.pdf : %.tex
|
|
|
|
|
latexmk -jobname="$*" $(latexmkflags) -pdf $<
|
2022-05-04 21:48:33 +02:00
|
|
|
|
|
|
|
|
%_System.result.txt : %_System.txt
|
|
|
|
|
java -Xmx8192M -jar $(actspath) $< $@
|
