From 6692c1b3d36449575ae669131c782d4a48aa8c8f Mon Sep 17 00:00:00 2001 From: cassio Date: Mon, 27 Oct 2014 19:47:10 +0000 Subject: yet another bug --- tools/etc/icpc/createbocajail.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'tools/etc') diff --git a/tools/etc/icpc/createbocajail.sh b/tools/etc/icpc/createbocajail.sh index d8a5ad2..75d39ec 100755 --- a/tools/etc/icpc/createbocajail.sh +++ b/tools/etc/icpc/createbocajail.sh @@ -112,13 +112,14 @@ echo "*** Populating $homejail" cat < /home/bocajail/tmp/populate.sh #!/bin/bash mount -t proc proc /proc -add-apt-repository ppa:ubuntu-toolchain-r/test +apt-get -y update +apt-get -y install python-software-properties +add-apt-repository -y ppa:ubuntu-toolchain-r/test apt-get -y update apt-get -y upgrade apt-get -y install g++ gcc libstdc++6 sharutils default-jdk default-jre apt-get -y install gcc-4.8 g++-4.8 apt-get -y install openjdk-7-jdk openjdk-7-jre -apt-get -y autoremove apt-get -y clean update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 60 --slave /usr/bin/g++ g++ /usr/bin/g++-4.8 -- cgit v1.2.3