forked from SRI-CSL/PVS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
pvsio-web.in
executable file
·24 lines (23 loc) · 1005 Bytes
/
pvsio-web.in
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#!/bin/bash
if [ -d "pvsio-web/src/server/lib" ] && [ -f "pvsio-web/src/server/lib/glassfish-4-1.zip.partaa" ] &&
[ -f "pvsio-web/src/server/lib/glassfish-4-1.zip.partab" ] &&
[ -f "pvsio-web/src/server/lib/glassfish-4-1.zip.partac" ] &&
[ -f "pvsio-web/src/server/lib/glassfish-4-1.zip.partad" ] &&
[ -f "pvsio-web/src/server/lib/glassfish-4-1.zip.partae" ] &&
[ -f "pvsio-web/src/server/lib/glassfish-4-1.zip.partaf" ] &&
[ -f "pvsio-web/src/server/lib/glassfish-4-1.zip.partag" ] &&
[ ! -d "pvsio-web/src/server/lib/glassfish4" ]; then
cd pvsio-web/src/server/lib/
./installNC.sh
cd ../../../..
fi
if [ -d "pvsio-web/src/server/ext" ] && [ ! -d "pvsio-web/src/server/ext/IVY" ] &&
[ -f "pvsio-web/src/server/ext/IVY.zip.partaa" ] &&
[ -f "pvsio-web/src/server/ext/IVY.zip.partab" ] &&
[ -f "pvsio-web/src/server/ext/IVY.zip.partac" ]; then
cd pvsio-web/src/server/ext/
./installIVY.sh
cd ../../../..
fi
cd pvsio-web/src/server
node pvssocketserver.js start pvsdir:..