Skip to content

Instantly share code, notes, and snippets.

@mockdeep
Last active December 25, 2015 03:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mockdeep/6912134 to your computer and use it in GitHub Desktop.
Save mockdeep/6912134 to your computer and use it in GitHub Desktop.
build script for lp_solve
#!/bin/sh
set -e
# capture root dir
root=$(pwd)
echo "cache url: $CACHE_URL"
mv lp_solve_5.5 /tmp/
cd /tmp/lp_solve_5.5/lp_solve/
# run build script
sh ./ccc
ls
mkdir $root/lp_solve
mv ./lp_solve $root/lp_solve/
ls $root
ls $root/lp_solve/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment