From 0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 21 Sep 2017 15:26:01 +0200
Subject: Got some property dependencies to work.

---
 instr-to-kodkod/cfg-to-paths/Makefile | 16 ++++------------
 1 file changed, 4 insertions(+), 12 deletions(-)

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

diff --git a/instr-to-kodkod/cfg-to-paths/Makefile b/instr-to-kodkod/cfg-to-paths/Makefile
index 49c1e83..9dd0590 100644
--- a/instr-to-kodkod/cfg-to-paths/Makefile
+++ b/instr-to-kodkod/cfg-to-paths/Makefile
@@ -1,24 +1,16 @@
 ## Parameters ##################################################################
 #### Where to find the model
-ifndef MODEL_DIR
-MODEL_DIR =
-endif
+MODEL_DIR ?=
 
 #### Where to store the CFG models
-ifndef PATH_MODEL_DIR
-PATH_MODEL_DIR =
-endif
+PATH_MODEL_DIR ?=
 
 #### Binaries
 ###### JRE binary
-ifndef JAVA
-JAVA = java
-endif
+JAVA ?= java
 
 ###### JDK binary
-ifndef JAVAC
-JAVAC = javac
-endif
+JAVAC ?= javac
 
 ## Parameters Sanity Check #####################################################
 ifeq ($(strip $(MODEL_DIR)),)
-- 
cgit v1.2.3-70-g09d2