From 3969d4ebdc78d21108c2d9e38875d5717eb36f53 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 6 Jan 2011 16:35:44 +0100
Subject: [PATCH] Only define SIMGRID_INSTALL_DIR if it is not already set.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 8030fa0..dc2d3b0 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
-SIMGRID_INSTALL_DIR := ./simgrid-stable
-#SIMGRID_INSTALL_DIR := ./simgrid-dev
+SIMGRID_INSTALL_DIR ?= ./simgrid-stable
+#SIMGRID_INSTALL_DIR ?= ./simgrid-dev
 
 OPTIM_FLAGS += -O3
 DEBUG_FLAGS += -g
-- 
2.39.5