anchor.diff:      mkdir -p $OCAMLFIND_DESTDIR/stublibs
     '';
   
  -  configurePhase = concatStringsSep " " (
  -    [ "${python.interpreter} scripts/mk_make.py --prefix=$out" ]
  -    ++ optional javaBindings   "--java"
  -    ++ optional ocamlBindings  "--ml"
  -    ++ optional pythonBindings "--python --pypkgdir=$out/${python.sitePackages}"
  -  ) + "\n" + "cd build";
  +  configurePhase = concatStringsSep " "
  +    (
  +      [ "${python.interpreter} scripts/mk_make.py --prefix=$out" ]
  +        ++ optional javaBindings "--java"
  +        ++ optional ocamlBindings "--ml"
  +        ++ optional pythonBindings "--python --pypkgdir=$out/${python.sitePackages}"
  +    ) + "\n" + "cd build";
   
     postInstall = ''
       mkdir -p $dev $lib
  -    mv $out/lib     $lib/lib
  +    mv $out/lib $lib/lib
       mv $out/include $dev/include
     '' + optionalString pythonBindings ''
       mkdir -p $python/lib
  
positive.code:   '';
  
    outputs = [ "out" "lib" "dev" "python" ]
    ++ optional ocamlBindings "ocaml"
    ;
  
    meta = {
      description = "A high-performance theorem prover and SMT solver";
      homepage    = "https://github.com/Z3Prover/z3";
      license     = lib.licenses.mit;
      platforms   = lib.platforms.unix;
      maintainers = with lib.maintainers; [ thoughtpolice ttuegel ];
    };
  }
  
negative.code: { lib
  , stdenv
  , fetchFromGitHub
  , python
  , fixDarwinDylibNames
  , javaBindings ? false
  , ocamlBindings ? false
  , pythonBindings ? true
  , jdk ? null
  , ocaml ? null
  , findlib ? null
  , zarith ? null
  }:
  
  assert javaBindings -> jdk != null;
  