diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/scripts/aws/build_maplecomsps_drup.sh')
| -rwxr-xr-x | cryptominisat5/cryptominisat-5.6.3/scripts/aws/build_maplecomsps_drup.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/scripts/aws/build_maplecomsps_drup.sh b/cryptominisat5/cryptominisat-5.6.3/scripts/aws/build_maplecomsps_drup.sh deleted file mode 100755 index 128f3472b..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/scripts/aws/build_maplecomsps_drup.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/bash -set -e - -# Copyright (C) 2018 Mate Soos -# -# This program is free software; you can redistribute it and/or -# modify it under the terms of the GNU General Public License -# as published by the Free Software Foundation; version 2 -# of the License. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA -# 02110-1301, USA. - -cd /home/ubuntu/ -mkdir -p MapleCOMSPS -cd MapleCOMSPS/ -aws s3 cp s3://msoos-solve-data/solvers/MapleCOMSPS.tar.gz . --region=us-west-2 -tar xzvf MapleCOMSPS.tar.gz -cd simp -MROOT=.. make clean rs -mv minisat_static maplecomsps_static - -# binary is now at: -# --solver MapleCOMSPS/simp/maplecomsps_static - -cd /home/ubuntu/ |