| author | durandn |
| Fri, 02 Oct 2015 10:24:05 +0200 | |
| changeset 1447 | 470130d647cb |
| child 1451 | 9b146d9a7f78 |
| permissions | -rw-r--r-- |
|
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
|
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
|
2 |
if [ $# -eq 0 ] |
|
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
|
3 |
then |
|
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
|
4 |
echo "No argument was provided, looking for mdplayer_path" |
|
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
|
5 |
if [ ! -f "mdplayer_path" ] |
|
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 |
then |
|
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
|
7 |
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
|
8 |
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
|
9 |
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
|
10 |
MDPLAYER_PATH=$(cat mdplayer_path) |
|
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 |
if [ -z MDPLAYER_PATH ] |
|
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
|
12 |
then |
|
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 |