- $$(SUM_$(1)): S1 = $$(shell cat $(1)/$(1)_mac.txt)
- $$(SUM_$(1)): S4 = $$(shell ls $$(MAS_$(1)) | wc -l)
- $$(SUM_$(1)): C1 = $$(shell grep "^inductive \|^record " $$(MAS_$(1)) | wc -l)
- $$(SUM_$(1)): C2 = $$(shell grep "^definition \|^let rec " $$(MAS_$(1)) | wc -l)
- $$(SUM_$(1)): C3 = $$(shell grep "^inductive \|^record \|^definition \|^let rec " $$(MAS_$(1)) | wc -l)
- $$(SUM_$(1)): P1 = $$(shell grep "^theorem " $$(MAS_$(1)) | wc -l)
- $$(SUM_$(1)): P2 = $$(shell grep "^lemma " $$(MAS_$(1)) | wc -l)
- $$(SUM_$(1)): P3 = $$(shell grep "^lemma \|^theorem " $$(MAS_$(1)) | wc -l)
-
- $$(SUM_$(1)): $$(MAS_$(1)) $(1)/$(1)_probe.txt $(1)/$(1)_mac.txt
+ $$(SUM_$(1)): S1 = $$(word 1, $$(S0))
+ $$(SUM_$(1)): S2 = $$(word 2, $$(S0))
+ $$(SUM_$(1)): S4 = $$(word 4, $$(S0))
+ $$(SUM_$(1)): C1 = $$(word 5, $$(S0))
+ $$(SUM_$(1)): C2 = $$(word 7, $$(S0))
+ $$(SUM_$(1)): C3 = $$(shell echo "$$(C1)+$$(C2)"|bc)
+ $$(SUM_$(1)): P1 = $$(word 10, $$(S0))
+ $$(SUM_$(1)): P2 = $$(word 9, $$(S0))
+ $$(SUM_$(1)): P3 = $$(shell echo "$$(P1)+$$(P2)"|bc)
+
+ $$(SUM_$(1)): $$(MAS_$(1)) $(1)/$(1)_probe.txt