This commit is contained in:
Gašper Dobrovoljc
2025-05-08 23:42:03 +02:00
parent e868f3030c
commit a0cad251cd
6 changed files with 580 additions and 43 deletions

View File

@@ -1,6 +1,7 @@
JAVA = java --enable-preview
PHASE =
.PHONY : %
% : %.pins25
$(JAVA) -classpath ../bin pins25.phase.SynAn $<
$(JAVA) -classpath ../bin pins25.phase.$(PHASE) $<