From eba7b4ec165529f9ad83e52ae20aa0bb7a356e8b Mon Sep 17 00:00:00 2001
From: alonamid <alonamid@eecs.berkeley.edu>
Date: Thu, 18 Jul 2019 03:28:22 +0000
Subject: [PATCH] correct libfesvr script

---
 scripts/build-static-libfesvr.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 scripts/build-static-libfesvr.sh

diff --git a/scripts/build-static-libfesvr.sh b/scripts/build-static-libfesvr.sh
new file mode 100755
index 00000000..5dc0eac3
--- /dev/null
+++ b/scripts/build-static-libfesvr.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+# This ungodly script surreptitiously builds an archive from existing fesvr objects
+# Invoke from riscv-fesvr/build
+
+if [ "x$RISCV" = "x" ]
+then
+  echo "Please set the RISCV environment variable to your preferred install path."
+  exit 1
+fi
+
+set -e
+
+objs=$(head -n 1 <(make -f <( echo -e 'include Makefile\n$(info $(value fesvr_objs))') -n))
+ar rcs -o libfesvr.a $objs
+cp -f libfesvr.a $RISCV/lib
+