jester.sh 399 B

12345678910111213141516171819
  1. #!/bin/bash
  2. fw_depends nim nimble
  3. fw_installed jester && return 0
  4. JESTER=$IROOT/jester
  5. git clone https://github.com/dom96/jester.git
  6. cd jester
  7. # 2015-06-25
  8. git checkout 71b8cc069a0d271d619c2dc41bc6479047885587
  9. nimble update
  10. # If ~/.nimble/pkgs/jester exists, write over it.
  11. echo 'y' | nimble install
  12. echo "export JESTER_HOME=${JESTER}" > $IROOT/jester.installed
  13. source $IROOT/jester.installed