ghc/interpreter/runallnofib

   1 #!/bin/bash
   2 if ! [ -d nofibtmp ]
   3 then
   4 echo "runallnofib: Can't cd to nofibtmp"
   5 exit
   6 fi
   7
   8 TROOT=/home/v-julsew/Nov25
   9 NROOT=$TROOT/fpt/nofib
  10
  11 cd nofibtmp
  12
  13
  14 ##------ imaginary ------##
  15
  16 ../runnofib imaginary exp3_8
  17 ../runnofib imaginary gen_regexps
  18 ../runnofib imaginary paraffins
  19 ../runnofib imaginary primes
  20 ../runnofib imaginary rfib
  21 ../runnofib imaginary tak
  22 ../runnofib imaginary wheel-sieve1
  23 ../runnofib imaginary wheel-sieve2
  24
  25
  26 ##------ spectral ------##
  27
  28 ../runnofib spectral ansi
  29 ../runnofib spectral awards
  30 ../runnofib spectral boyer
  31 ../runnofib spectral boyer2
  32 ../runnofib spectral calendar 1993
  33 ../runnofib spectral cichelli
  34 ../runnofib spectral circsim "+RTS -H150m -RTS 8 1000"
  35 ../runnofib spectral clausify
  36 ../runnofib spectral cse
  37 ../runnofib spectral eliza
  38
  39 cp $NROOT/spectral/expert/animals .
  40 ../runnofib spectral expert
  41 rm animals
  42
  43 ##../runnofib spectral fibheaps    -- requires -fglasgow-exts
  44
  45 ../runnofib spectral fish
  46 ../runnofib spectral fft2
  47 ../runnofib spectral life
  48 ../runnofib spectral knights 8 3
  49 ../runnofib spectral mandel
  50 ../runnofib spectral mandel2
  51 ../runnofib spectral minimax
  52 ../runnofib spectral multiplier
  53 ../runnofib spectral pretty
  54 ../runnofib spectral primetest
  55 ../runnofib spectral rewrite
  56 ../runnofib spectral scc
  57 ../runnofib spectral simple
  58 ../runnofib spectral sorting
  59
  60 cp $NROOT/spectral/treejoin/27000.1 .
  61 cp $NROOT/spectral/treejoin/27000.2 .
  62 ../runnofib spectral treejoin "+RTS -H200m -G4 -A1m -RTS 27000.1 27000.2"
  63 rm 27000.1 27000.2
  64
  65 ../runnofib spectral/hartel nucleic2
  66
  67 ##------ real ------##
  68
  69 export ANNADIR=`pwd`
  70 cp $NROOT/real/anna/anna_table .
  71 ../runnofib real anna
  72 rm anna_table
  73
  74 ../runnofib real bspt
  75 ../runnofib real compress
  76 ##../runnofib real compress2 -- requires -fglasgow-exts
  77
  78 cp $NROOT/real/ebnf2ps/Times-Roman.afm .
  79 cp $NROOT/real/ebnf2ps/ebnf2ps.stdin .
  80 ../runnofib real ebnf2ps "ebnf2ps.stdin apat"
  81 rm Times-Roman.afm ebnf2ps.stdin
  82
  83 ../runnofib real fem
  84
  85 cp $NROOT/real/fluid/chan8.dat .
  86 ../runnofib real fluid
  87 rm chan8.dat
  88
  89 ../runnofib real fulsom 7
  90 ../runnofib real gamteb
  91 ../runnofib real gg
  92 ../runnofib real grep
  93
  94 cp $NROOT/real/hidden/objects/four.plate .
  95 ../runnofib real hidden four.plate
  96 rm four.plate
  97
  98 ##../runnofib real HMMS  -- a mess.  requires some effort to make it work
  99 ../runnofib real hpg "-nt 8 -dt 6 -nv 15 -dv 8 -de 8"
 100 ../runnofib real infer
 101 ../runnofib real lift
 102
 103 cp $NROOT/real/maillist/addresses .
 104 ../runnofib real maillist
 105 rm addresses addresses.tex
 106
 107 ../runnofib real mkhprog "-a Int -b Float -c Foo -d Bar -e Double   -f String -g String -h Int -j Double -k Bool -n Basil -p Knob -q Wizzle   -r Wissle -s Wibble -t Widdle -A Int -B Float -C Foo -D Bar -E Double   -F String -G String -H Int -I Float -J Double -K Bool -L Bool -M Buzzle   -N Basil -P Knob -Q Wizzle -R Wissle -S Wibble -T Widdle"
 108
 109 ../runnofib real parser
 110 ../runnofib real pic
 111
 112 cp $NROOT/real/prolog/stdlib .
 113 ../runnofib real prolog
 114 rm stdlib
 115
 116 ../runnofib real reptile
 117 ../runnofib real rsa
 118 ../runnofib real symalg
 119 ../runnofib real veritas