From 71f3a1bb063087e51f2b2e2ef940e773e2e084d1 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 3 Aug 2017 16:57:20 +0200
Subject: Other than the pretty-printer, it seems done.

---
 instr-to-kodkod/parser/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/instr-to-kodkod/parser/Makefile b/instr-to-kodkod/parser/Makefile
index bcc216a..435a687 100644
--- a/instr-to-kodkod/parser/Makefile
+++ b/instr-to-kodkod/parser/Makefile
@@ -1,17 +1,17 @@
 ## Parameters ##################################################################
 #### ANTLR's Jar
 ifndef ANTLR_JAR
-ANTLR_JAR = ../antlr-4.7-complete.jar
+ANTLR_JAR = ${CURDIR}/../antlr-4.7-complete.jar
 endif
 
 #### KODKOD's Jar
 ifndef KODKOD_JAR
-KODKOD_JAR = ../kodkod.jar
+KODKOD_JAR = ${CURDIR}/../kodkod.jar
 endif
 
 #### Main program's sources
 ifndef MAIN_PROGRAM_SRC
-MAIN_PROGRAM_SRC = ../src/
+MAIN_PROGRAM_SRC = ${CURDIR}/../src/
 endif
 
 #### JRE binary
-- 
cgit v1.2.3-70-g09d2