| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-18 17:47:49 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-18 17:47:49 +0200 |
| commit | 64c8b8413db37494f118c7a2f50c186830fb64dc (patch) | |
| tree | 705edf117c292f751a9f5d5912330c92c94bbf0d /instr-to-kodkod/Makefile | |
| parent | f9a789dcc77a905849368dcbaaccb894698442e4 (diff) | |
Starting to link parser with the program.
But apparently I messed up some kodkod logic.
Diffstat (limited to 'instr-to-kodkod/Makefile')
| -rw-r--r-- | instr-to-kodkod/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index 59bdeb4..2611f28 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -7,14 +7,14 @@ JAVA = java DOWNLOADER = wget ## Java Config ################################################################# -CLASSPATH = "kodkod.jar:./src/:org.sat4j.core.jar" +CLASSPATH = "kodkod.jar:./src/:./parser/:org.sat4j.core.jar:antlr-4.7-complete.jar" ## Dependencies ################################################################ JAR_SOURCE = https://noot-noot.org/onera_2017/jar/ REQUIRED_JARS = kodkod.jar org.sat4j.core.jar antlr-4.7-complete.jar ## Makefile Magic ############################################################## -SOURCES = $(wildcard src/*.java) +SOURCES = $(wildcard src/*.java parser/*.java) CLASSES = $(SOURCES:.java=.class) ## Makefile Rules ############################################################## |