blob: fb2662a43314ae937c91bde01d92883a2c058e10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
JAVAC = javac
JAVA = java
SOURCES = $(wildcard src/*.java)
CLASSES = $(SOURCES:.java=.class)
CLASSPATH = "kodkod.jar:./src/:org.sat4j.core.jar"
TEST_FILE = "./system_minus_fun.sl"
DOWNLOADER = wget
JAR_SOURCE = https://noot-noot.org/onera_2017/jar/
REQUIRED_JARS = kodkod.jar org.sat4j.core.jar
all: $(CLASSES)
clean:
rm -f $(CLASSES)
run: $(CLASSES) $(REQUIRED_JARS)
$(JAVA) -cp $(CLASSPATH) Main $(TEST_FILE)
%.class: %.java $(REQUIRED_JARS)
$(JAVAC) -cp $(CLASSPATH) $<
%.jar:
echo "Attempting to download missing jar '$@'"
$(DOWNLOADER) "$(JAR_SOURCE)/$@"
|
