Skip to content
Snippets Groups Projects
Commit 27cd13d9 authored by Michele Compostella's avatar Michele Compostella
Browse files

Fixed build.sh not downloading GAP

parent 8800e5a2
Branches
Tags
No related merge requests found
......@@ -48,7 +48,8 @@ EMAIL=$3
ORGANIZATION=$4
# GAP license
if [ ! -f ./software/GAP.tar.gz ] && [ "$GAP" != "I accept" ]; then
if [ ! -f ./software/GAP.tar.gz ]; then
if [ "$GAP" != "I accept" ]; then
echo
echo "You need to accept the GAP license to create this Docker container"
echo "The GAP suite — Non-commercial License Agreement is available at:"
......@@ -68,6 +69,7 @@ if [ ! -f ./software/GAP.tar.gz ] && [ "$GAP" != "I accept" ]; then
read EMAIL
echo "Enter your organization name for the GAP license"
read ORGANIZATION
fi
# Downloading GAP in ./software/
echo
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment