From: rtrimana <rtrimana@uci.edu>
Date: Thu, 1 Aug 2019 15:12:38 +0000 (-0700)
Subject: Adding extract script for libraries.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=e3ec4cfe9477ac59b5c4b694d448464b836b820d;ds=sidebyside

Adding extract script for libraries.
---

diff --git a/lib/extract.sh b/lib/extract.sh
new file mode 100755
index 0000000..387d8fb
--- /dev/null
+++ b/lib/extract.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+mkdir groovy-2.5.7
+mkdir groovy-dateutil-2.5.7
+mkdir groovy-json-2.5.7
+unzip groovy-2.5.7.jar -d groovy-2.5.7
+unzip groovy-dateutil-2.5.7.jar -d groovy-dateutil-2.5.7
+unzip groovy-json-2.5.7.jar -d groovy-json-2.5.7