instant-fenics/patch.diff

   1 --- a/instant/build.py
   2 +++ b/instant/build.py
   3 @@ -88,7 +88,7 @@
   4      compile_log_file = open(compile_log_filename, "w")
   5      try:
   6          # Build module
   7 -        cmd = "python %s build_ext install --install-platlib=." % setup_name
   8 +        cmd = "python2 %s build_ext install --install-platlib=." % setup_name
   9          instant_info("--- Instant: compiling ---")
  10          instant_debug("cmd = %s" % cmd)
  11          ret, output = get_status_output(cmd)