old_contents: import commands, sys, os
  
  status, output = commands.getstatusoutput("raco planet show | grep aforth-optimizer.plt")
  
  if len(output) == 0:
    print "F18A superoptimizer is not installed properly."
    sys.exit(0)
  
  if output.find("mangpo") == -1:
    print "F18A superoptimizer (aforth-optimizer.plt) package has to be installed under \"mangpo\" and not your name."
    print "Run:"
    print "raco planet unlink <orginal_name> aforth-optimizer.plt 1 0"
    print "raco planet link mangpo aforth-optimizer.plt 1 0 <path to repo>"
    sys.exit(0)
  
  status, output = commands.getstatusoutput("z3")
  
  if not (output.find("not found") == -1):
    print "Please edit environmental variable PATH to point to z3."
    sys.exit(0)
  
  
  status, abs_path = commands.getstatusoutput("pwd")
  f = open("src/path.rkt", "w")
  f.write("#lang racket\n")
  f.write("(provide (all-defined-out))\n")
  f.write("(define srcpath \"" + abs_path + "/src\")\n")
  f.write("(define datapath \"" + abs_path + "/testdata\")\n")
  print "src/path.rkt is created."
      
  
  
new_contents: import commands, sys, os
  
  # F18A superoptimizer
  status, output = commands.getstatusoutput("raco planet show | grep aforth-optimizer.plt")
  
  if len(output) == 0:
    print "F18A superoptimizer is not installed properly."
    sys.exit(0)
  
  if output.find("mangpo") == -1:
    print "F18A superoptimizer (aforth-optimizer.plt) package has to be installed under \"mangpo\" and not your name."
    print "Run:"
    print "raco planet unlink <orginal_name> aforth-optimizer.plt 1 0"
    print "raco planet link mangpo aforth-optimizer.plt 1 0 <path to repo>"
    sys.exit(0)
  
  # Z3
  status, output = commands.getstatusoutput("z3")
  
  if not (output.find("not found") == -1):
    print "Please edit environmental variable PATH to point to z3."
    sys.exit(0)
  
  # Simulated Annealing
  os.system("g++ src/qap/sa_qap_fix.cpp -o src/qap/sa_qap")
  
  # Create path.rtk
  status, abs_path = commands.getstatusoutput("pwd")
  f = open("src/path.rkt", "w")
  f.write("#lang racket\n")
  f.write("(provide (all-defined-out))\n")
  f.write("(define srcpath \"" + abs_path + "/src\")\n")
  f.write("(define datapath \"" + abs_path + "/testdata\")\n")
  print "src/path.rkt is created."
      
  
  
subject: configure compiles sa_qap