From 64c8b8413db37494f118c7a2f50c186830fb64dc Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 18 Jul 2017 17:47:49 +0200
Subject: Starting to link parser with the program.

But apparently I messed up some kodkod logic.
---
 instr-to-kodkod/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'instr-to-kodkod/Makefile')

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 ##############################################################
-- 
cgit v1.2.3-70-g09d2