| author | ymh <ymh.work@gmail.com> |
| Mon, 19 Oct 2015 09:55:08 +0200 | |
| changeset 1462 | e6d31ba94ad0 |
| parent 1451 | 9b146d9a7f78 |
| permissions | -rwxr-xr-x |
|
1451
9b146d9a7f78
small script correction + correction on mutable default args
ymh <ymh.work@gmail.com>
parents:
1447
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
1447
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
2 |
|
|
1451
9b146d9a7f78
small script correction + correction on mutable default args
ymh <ymh.work@gmail.com>
parents:
1447
diff
changeset
|
3 |
set -e |
|
9b146d9a7f78
small script correction + correction on mutable default args
ymh <ymh.work@gmail.com>
parents:
1447
diff
changeset
|
4 |
|
|
9b146d9a7f78
small script correction + correction on mutable default args
ymh <ymh.work@gmail.com>
parents:
1447
diff
changeset
|
5 |
if [ $# -eq 0 ]; then |
|
1447
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
6 |
echo "No argument was provided, looking for mdplayer_path" |
|
1451
9b146d9a7f78
small script correction + correction on mutable default args
ymh <ymh.work@gmail.com>
parents:
1447
diff
changeset
|
7 |
if [ ! -f "mdplayer_path" ]; then |
|
1447
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
8 |
echo "Error: mdplayer_path file does not exist and no argument was provided" |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
9 |
exit 1 |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
10 |
fi |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
11 |
MDPLAYER_PATH=$(cat mdplayer_path) |
|
1451
9b146d9a7f78
small script correction + correction on mutable default args
ymh <ymh.work@gmail.com>
parents:
1447
diff
changeset
|
12 |
if [ -z "$MDPLAYER_PATH" ]; then |
|
1447
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
13 |
echo "File is empty" |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
14 |
exit 1 |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
15 |
fi |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
16 |
else |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
17 |
MDPLAYER_PATH=$1 |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
18 |
fi |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
19 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
20 |
echo "Compiling Metadataplayer" |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
21 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
22 |
sh $MDPLAYER_PATH/sbin/res/ant/bin/ant -f $MDPLAYER_PATH/sbin/build/client.xml |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
23 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
24 |
echo "Copying to Platform :" |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
25 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
26 |
echo " Copying core files and widgets" |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
27 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
28 |
cp -R $MDPLAYER_PATH/test/metadataplayer/* ../../src/ldt/ldt/static/ldt/metadataplayer |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
29 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
30 |
echo " Copying JS libs" |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
31 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
32 |
cp -R $MDPLAYER_PATH/src/js/libs/*.js ../../src/ldt/ldt/static/ldt/js |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
33 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
34 |
echo " Copying SWF libs" |
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
35 |
|
|
470130d647cb
import updates to mdplayer into the platform + added a script to easily build mdplayer from repository + fix the mdplayer config page
durandn
parents:
diff
changeset
|
36 |
cp -R $MDPLAYER_PATH/src/js/libs/*.swf ../../src/ldt/ldt/static/ldt/swf |