From 0fd9fff7ae2ae1322f861ce7cbf83414c27ed2f2 Mon Sep 17 00:00:00 2001
From: Martin	Diehl <m.diehl@mpie.de>
Date: Sat, 11 Jan 2014 17:19:56 +0000
Subject: [PATCH] also forgotten

---
 DAMASK_env.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/DAMASK_env.sh b/DAMASK_env.sh
index 4d1fa98d0..c9633ef6b 100644
--- a/DAMASK_env.sh
+++ b/DAMASK_env.sh
@@ -1,11 +1,6 @@
 # sets up an environment for DAMASK on bash
 # usage:  source DAMASK_env.sh
-FFTWROOT=/usr/local
-LAPACKROOT=/usr
-ACMLROOT=
-IMKLROOT=
-DAMASKFORTRAN=gfortran
-
+source ./installation/options
 if [ "$OSTYPE" == "linux-gnu" ]
   then LOCATION=$(readlink -f "`dirname $BASH_SOURCE`")
 else