From f24fc2c45fc26f45c8534e578ebb70dd9661e866 Mon Sep 17 00:00:00 2001
From: Dibyendu Majumdar <noemail>
Date: Mon, 19 Feb 2018 21:35:36 +0000
Subject: [PATCH] make scripts

---
 build-utils/cmake-64bit-unix-nojit-debug.sh   | 3 +++
 build-utils/cmake-64bit-unix-nojit-release.sh | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 build-utils/cmake-64bit-unix-nojit-debug.sh

diff --git a/build-utils/cmake-64bit-unix-nojit-debug.sh b/build-utils/cmake-64bit-unix-nojit-debug.sh
new file mode 100644
index 0000000..772818a
--- /dev/null
+++ b/build-utils/cmake-64bit-unix-nojit-debug.sh
@@ -0,0 +1,3 @@
+mkdir buildnojit
+cd buildnojit
+cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=$HOME/ravi ..
diff --git a/build-utils/cmake-64bit-unix-nojit-release.sh b/build-utils/cmake-64bit-unix-nojit-release.sh
index 7af6603..438e5c1 100644
--- a/build-utils/cmake-64bit-unix-nojit-release.sh
+++ b/build-utils/cmake-64bit-unix-nojit-release.sh
@@ -1,3 +1,4 @@
 mkdir buildnojit
 cd buildnojit
-cmake -DSTATIC_BUILD=ON -DCMAKE_BUILD_TYPE=Release -DCOMPUTED_GOTO=ON -DCMAKE_INSTALL_PREFIX=$HOME/ravi ..
+#cmake -DSTATIC_BUILD=ON -DCMAKE_BUILD_TYPE=Release -DCOMPUTED_GOTO=ON -DCMAKE_INSTALL_PREFIX=$HOME/ravi ..
+cmake -DCMAKE_BUILD_TYPE=Release -DCOMPUTED_GOTO=ON -DCMAKE_INSTALL_PREFIX=$HOME/ravi ..