+ dirname /input/Singularity + REPO_ROOT=/input + cp -r /input/ /usr/local/var/singularity/mnt/container/planner + mkdir -p /opt + echo copying gurobi and gurobi.lic into singularity container + cp /third-party/gurobi7.5.2_linux64.tar.gz /usr/local/var/singularity/mnt/container/opt + cp /third-party/gurobi.lic /usr/local/var/singularity/mnt/container/opt + echo Installing Gurobi + cd /opt + tar xvfz gurobi7.5.2_linux64.tar.gz + echo Installing Development Tools + apt-get update + apt-get -y install default-jre software-properties-common debconf: delaying package configuration, since apt-utils is not installed + add-apt-repository -y ppa:webupd8team/java gpg: keyring `/tmp/tmpsj40_3l2/secring.gpg' created gpg: keyring `/tmp/tmpsj40_3l2/pubring.gpg' created gpg: requesting key EEA14886 from hkp server keyserver.ubuntu.com gpg: /tmp/tmpsj40_3l2/trustdb.gpg: trustdb created gpg: key EEA14886: public key "Launchpad VLC" imported gpg: no ultimately trusted keys found gpg: Total number processed: 1 gpg: imported: 1 (RSA: 1) + apt-get update + echo oracle-java8-installer shared/accepted-oracle-license-v1-1 select true + debconf-set-selections + apt-get -y install oracle-java8-installer + cd /planner/rddlsim + ./compile Note: Some input files use or override a deprecated API. Note: Recompile with -Xlint:deprecation for details. Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details.