install.sh 304 B

123456789101112
  1. #!/usr/bin/env bash
  2. # compile litmus
  3. if [ ! -f /tmp/litmus/litmus-0.13.tar.gz ]; then
  4. mkdir -p /tmp/litmus
  5. wget -O /tmp/litmus/litmus-0.13.tar.gz http://www.webdav.org/neon/litmus/litmus-0.13.tar.gz
  6. cd /tmp/litmus
  7. tar -xzf litmus-0.13.tar.gz
  8. cd /tmp/litmus/litmus-0.13
  9. ./configure
  10. make
  11. fi