Subversion Repositories wimsdev

Rev

Rev 8571 | Blame | Compare with Previous | Last modification | View Log | RSS feed

  1. #! /bin/sh
  2.  
  3. wims_home=`pwd`;
  4. export tmp_dir=$wims_home/wimstest
  5. export gap_command="/Applications/gap4r7/bin/gap.sh -T -m 64M -L workspace"
  6. #export wims_exec_parm="about"
  7. #$wims_home/src/Interfaces/gap
  8. #echo "\n"
  9.  
  10. export wims_exec_parm="2^17-1"
  11. $wims_home/src/Interfaces/gap
  12.