Skip to content
Snippets Groups Projects
Commit 27c3fc1c authored by victarr's avatar victarr
Browse files

Add new file

parent b18cc5c9
No related branches found
No related tags found
No related merge requests found
#! /bin/bash
cd /opt
# Extract the demo version archive, if it exists
if [[ -f ampl.linux64.tgz ]]; then
tar xvf ampl.linux64.tgz
rm ampl.linux64.tgz
fi
AMPL_BIN=$(find . -name ampl -type f -executable -prune -print0)
if [[ -f "$AMPL_BIN" ]]; then
AMPL_DIR=$(dirname $AMPL_BIN)
echo "Found ampl binary in $AMPL_DIR, $($AMPL_BIN --version)"
if [[ "$AMPL_DIR" != "./ampl" ]]; then
ln -s "$AMPL_DIR" ampl
echo "Added symlink $(ls -l ampl)"
fi
else
echo "No AMPL binary found in $(pwd)"
exit 1
fi
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment