From 8a012c9673b7bd87450ba9e8ecfebb78c1552a1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C4=8Cert=C3=ADk?= <ondrej@certik.us>
Date: Sun, 18 Aug 2024 18:31:44 -0600
Subject: [PATCH] Add a script to build in Release mode

---
 build_release.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 build_release.sh

diff --git a/build_release.sh b/build_release.sh
new file mode 100755
index 0000000000..b01acc72b7
--- /dev/null
+++ b/build_release.sh
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+
+set -e
+set -x
+
+cmake \
+    -DCMAKE_BUILD_TYPE=Release \
+    -DCMAKE_CXX_FLAGS_RELEASE="-Wall -Wextra -O3 -funroll-loops -DNDEBUG" \
+    -DWITH_LLVM=yes \
+    -DLFORTRAN_BUILD_ALL=yes \
+    -DWITH_STACKTRACE=no \
+    -DWITH_RUNTIME_STACKTRACE=yes \
+    -DCMAKE_PREFIX_PATH="$CMAKE_PREFIX_PATH_LFORTRAN;$CONDA_PREFIX" \
+    -DCMAKE_INSTALL_PREFIX=`pwd`/inst \
+    -DCMAKE_INSTALL_LIBDIR=share/lfortran/lib \
+    .
+cmake --build . -j16 --target install