Commit 24c184dd authored by gerd's avatar gerd

updates


git-svn-id: https://gps.dynxs.de/private/svn/app-plasma/trunk@362 55289a75-7b90-4627-9e07-ffb4263930b2
parent 231a24a7
......@@ -358,7 +358,7 @@ wget http://download.camlcity.org/download/$gv.tar.gz
tar xzf $gv.tar.gz
cd ./$gv
echo | ./bootstrap --prefix "$root/." --section 3.11
echo | ./bootstrap --prefix "$root/." --section 3.12
PATH="$root/bin:$root/sbin:$PATH"
export PATH
......@@ -376,7 +376,7 @@ echo "*******************************************************************"
echo "* Installing Plasma"
echo "*******************************************************************"
echo "GODI_BUILD_SITES+=http://www.ocaml-programming.de/godi-build/ocamlnet3/" >>"$root/etc/godi.conf"
#echo "GODI_BUILD_SITES+=http://www.ocaml-programming.de/godi-build/ocamlnet3/" >>"$root/etc/godi.conf"
echo "GODI_OCAMLGRAPH_VIEWER=no" >>"$root/etc/godi.conf"
godi_console update
......
......@@ -86,6 +86,8 @@ f src/mr_platform/META
f src/mr_platform/platform_c.c
f src/mr_platform/platform.ml
f src/mr_platform/platform.mli
f src/mr_platform/number_cores.sh
f src/mr_platform/physical_ram.sh
d src/pfs_admin
f src/pfs_admin/OMakefile
......@@ -140,6 +142,7 @@ f src/plasmasupport/OMakefile
f src/plasmasupport/META
p src/plasmasupport/.*\.ml
p src/plasmasupport/.*\.mli
p src/plasmasupport/.*\.c
d tests
f tests/OMakefile
......@@ -154,6 +157,9 @@ p clusterconfig/instances/template/.*\.conf
p clusterconfig/instances/template/.*\.hosts
p clusterconfig/instances/template/.*\.sh
d helpers/
f helpers/plasma_install.sh
d doc
d doc/html
p doc/html/.*\.html
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment