comparison etc/setup_as_root.sh @ 0:7d34f4b6df69

Initial check-in (partial)
author samer
date Sun, 18 Jan 2015 16:18:01 +0000
parents
children bf3354229297
comparison
equal deleted inserted replaced
-1:000000000000 0:7d34f4b6df69
1 #!/bin/sh
2
3 echo 'THIS IS NOT READY YET!'
4 exit 1
5 # ---------------------- CONFIGURATION PART ----------------------
6
7 HAVE_MATLAB=yes
8 SWI_GUI=no
9
10 # ------------------- END OF CONFIGURATION PART ------------------
11 # APT GET installs
12 apt-get install build-essential autoconf mercurial git pkg-config
13 apt-get install libossp-uuid-dev libssl-dev zlib1g-dev unixodbc-dev libsmf-dev libsqlite3-dev
14 apt-get install graphviz lilypond pdf2svg texlive-font-utils p7zip-full
15 apt-get install vorbis-tools lame sox faad flac libsox-fmt-all fluidsynth
16
17 # Only if you want SWI Prolog GUI
18 #sudo apt-get install libxpm-dev libxt-dev libjpeg-dev libx11-dev libxft-dev libxinerama1 libfontconfig1-dev
19
20 # If you have MATLAB
21 if [ $HAVE_MATLAB == yes ]; then
22 MATLAB_ROOT=$(matlab -e | grep '^MATLAB=')
23 apt-get csh libtritonus-java libvorbisspi-java libmp3spi-java
24 ln -s /lib/x86_64-linux-gnu/libc.so.6 /lib64
25 ln -s $(MATLAB_ROOT)/bin/matlab /usr/local/bin
26
27 # MATLAB (R2012a at least) looks for Java extension jars in this directory
28 mkdir -p /usr/java/packages/lib/ext
29 # NB - there may be some duplication of service providers here - I'm not sure
30 # which of them works best.
31 ln -s /usr/shara/java/{vorbisspi,mp3spi}.jar /usr/java/packages/lib/ext
32 ln -s /usr/shara/java/tritonus_{aos,core,jorbis,mp3,remaining,share}.jar /usr/java/packages/lib/ext
33
34 # need to add native library paths to this file
35 if [ ! grep '/usr/lib/jni' $(MATLAB_ROOT)/toolbox/local/librarypath.txt ]; then
36 echo '/usr/lib/jni' >> $(MATLAB_ROOT)/toolbox/local/librarypath.txt
37 end
38 fi
39
40 #if [ -x ~dml/.boot ]; then
41 # sudo -u dml -H mkdir -p ~dml/var/log
42 # sudo -u dml -H bash -l -c '~/.boot >> ~/var/log/boot.log'
43 #fi
44
45 if $SETUP_X; then
46 if $HEADLESS; then
47 apt-get install xinit xserver-xorg-video-dummy
48 cp ~/etc/xorg.conf /etc/X11
49 else
50 apt-get install xinit blackbox
51 fi
52
53 dpkg-reconfigure x11-common
54 fi