setup.sh 207 B

123456789
  1. #!/bin/bash
  2. fw_depends stack
  3. cd bench
  4. ${IROOT}/stack --allow-different-user build --install-ghc
  5. ${IROOT}/stack --allow-different-user exec bench -- ${MAX_THREADS} ${DBHOST} +RTS -A32m -N${MAX_THREADS} &